Sciweavers

13 search results - page 1 / 3
» igpl 2000
Sort
View
59
Voted
IGPL
2000
87views more  IGPL 2000»
14 years 10 months ago
Analytic Cut Trees
Carlo Cellucci
66
Voted
IGPL
2000
48views more  IGPL 2000»
14 years 10 months ago
Normal Gentzen Deductions in the Classical Case
Alessandra Palmigiano
59
Voted
IGPL
2000
67views more  IGPL 2000»
14 years 10 months ago
Information Transfer across Chu Spaces
Johan van Benthem
66
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
67
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