Sciweavers

25 search results - page 1 / 5
» aml 2005
Sort
View
AML
2005
51views more  AML 2005»
13 years 4 months ago
Diamond and antichains
James Cummings, Ernest Schimmerling
AML
2005
53views more  AML 2005»
13 years 4 months ago
Extracting Herbrand disjunctions by functional interpretation
Philipp Gerhardy, Ulrich Kohlenbach
AML
2005
52views more  AML 2005»
13 years 4 months ago
A new condensation principle
Thoralf Räsch, Ralf Schindler