Sciweavers

CORR
2010
Springer

Dialectica Interpretation with Marked Counterexamples

13 years 9 months ago
Dialectica Interpretation with Marked Counterexamples
G
Trifon Trifonov
Added 10 Feb 2011
Updated 10 Feb 2011
Type Journal
Year 2010
Where CORR
Authors Trifon Trifonov
Comments (0)