Sciweavers

91 search results - page 3 / 19
» aml 2007
Sort
View
AML
2005
53views more  AML 2005»
14 years 10 months ago
Extracting Herbrand disjunctions by functional interpretation
Philipp Gerhardy, Ulrich Kohlenbach
AML
2005
52views more  AML 2005»
14 years 10 months ago
A new condensation principle
Thoralf Räsch, Ralf Schindler
AML
2004
41views more  AML 2004»
14 years 10 months ago
What is so special with the powerset operation?
Athanassios Tzouvaras