Sciweavers

25 search results - page 1 / 5
» aml 2005
Sort
View
65
Voted
AML
2005
62views more  AML 2005»
15 years 1 months ago
Diagonal fixed points in algebraic recursion theory
Jordan Zashev
AML
2005
51views more  AML 2005»
15 years 1 months ago
Diamond and antichains
James Cummings, Ernest Schimmerling
60
Voted
AML
2005
53views more  AML 2005»
15 years 1 months ago
Extracting Herbrand disjunctions by functional interpretation
Philipp Gerhardy, Ulrich Kohlenbach
70
Voted
AML
2005
52views more  AML 2005»
15 years 1 months ago
A new condensation principle
Thoralf Räsch, Ralf Schindler