IEEE Symposium on Logic in Computer Science

A B C D E F G H I J K L M N O P QR S T U V W X Y Z

Authors on this page:

• Pawel Idziak
• Neil Immerman
• Russell Impagliazzo
• Benedetto Intrigila
• Hajime Ishihara
• Takayasu Ito

Pawel Idziak

• Paper: Pawel Idziak Petar Markovic Ralph McKenzie Matthew Valeriote Ross Willard
  Tractability and learnability arising from algebras with few subpowers (LICS 2007) More Information...

Neil Immerman

• Paper: Neil Immerman Dexter C. 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...
• Paper: Rajeev Alur Marcelo Arenas Pablo Barceló Kousha Etessami Neil Immerman Leonid Libkin
  First-Order and Temporal Logics for Nested Words (LICS 2007) 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 I. Kanovich Takayasu Ito
  Temporal Linear Logic Specifications for Concurrent Processes (LICS 1997) More Information...