Sciweavers

13 search results - page 1 / 3
» igpl 2000
Sort
View
70
Voted
IGPL
2000
87views more  IGPL 2000»
15 years 6 days ago
Analytic Cut Trees
Carlo Cellucci
77
Voted
IGPL
2000
48views more  IGPL 2000»
15 years 6 days ago
Normal Gentzen Deductions in the Classical Case
Alessandra Palmigiano
67
Voted
IGPL
2000
67views more  IGPL 2000»
15 years 6 days ago
Information Transfer across Chu Spaces
Johan van Benthem
73
Voted
IGPL
2000
68views more  IGPL 2000»
15 years 6 days ago
Reachability Logic: An Efficient Fragment of Transitive Closure Logic
Natasha Alechina, Neil Immerman
73
Voted
IGPL
2000
69views more  IGPL 2000»
15 years 6 days ago
Generating hard tautologies using predicate logic and the symmetric group
Søren Riis, Meera Sitharam