Sciweavers

13 search results - page 1 / 3
» igpl 2000
Sort
View
64
Voted
IGPL
2000
87views more  IGPL 2000»
14 years 11 months ago
Analytic Cut Trees
Carlo Cellucci
71
Voted
IGPL
2000
48views more  IGPL 2000»
14 years 11 months ago
Normal Gentzen Deductions in the Classical Case
Alessandra Palmigiano
63
Voted
IGPL
2000
67views more  IGPL 2000»
14 years 11 months ago
Information Transfer across Chu Spaces
Johan van Benthem
69
Voted
IGPL
2000
69views more  IGPL 2000»
14 years 11 months ago
Generating hard tautologies using predicate logic and the symmetric group
Søren Riis, Meera Sitharam