Sciweavers

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