Sciweavers

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