Authors on this page:
Neil Immerman
- Paper: Neil Immerman Dexter Kozen
Definability with Bounded Number of Bound Variables (LICS 1987) More Information... - Paper: J. Antonio Medina Neil Immerman
A syntactic characterization of NP-completeness (LICS 1994) More Information... - Paper: Yuri Gurevich Neil Immerman Saharon Shelah
McColm's conjecture [positive elementary inductions] (LICS 1994) More Information... - Paper: Kousha Etessami Neil Immerman
Tree Canonization and Transtive Closure (LICS 1995) More Information... - Paper: J. Antonio Medina Neil Immerman
A generalization of Fagin's theorem (LICS 1996) More Information... - Paper: David A. Mix Barrington Neil Immerman Clemens Lautemann Nicole Schweikardt Denis Thérien
The Crane Beach Conjecture (LICS 2001) More Information... - Paper: Micah Adler Neil Immerman
An n! Lower Bound on Formula Size (LICS 2001) More Information... - Paper: William Hesse Neil Immerman
Complete problems for Dynamic Complexity Classes (LICS 2002) More Information...
Russell Impagliazzo
- Paper: Russell Impagliazzo Toniann Pitassi Alasdair Urquhart
Upper and lower bounds for tree-like cutting planes proofs (LICS 1994) More Information...
Benedetto Intrigila
- Paper: Benedetto Intrigila Richard Statman
The Omega Rule is II_2^0-Hard in the λβ-Calculus (LICS 2004) More Information...
Hajime Ishihara
- Paper: Hajime Ishihara Bakhadyr Khoussainov Sasha Rubin
Some Results on Automatic Structures (LICS 2002) More Information...
Takayasu Ito
- Paper: Max Kanovich Takayasu Ito
Temporal Linear Logic Specifications for Concurrent Processes (LICS 1997) More Information...