Authors on this page:
- Vineet Kahlon
- Paris C. Kanellakis
- Paris Kanellakis
- Kanovich, M.I.
- Max I. Kanovich
- Max Kanovich
- Kapron, B.M.
- Bruce Kapron
- Deepak Kapur
- Kapur, D.
- Robert T. Kasper
- Shmuel Katz
- Klaus Keimel
- Delia Kesner
- Yonit Kesten
- A. J. Kfoury
- Kfoury, A.J.
- A.J. Kfoury
- Assaf J. Kfoury
- Bakhadyr Khoussainov
- Emanuel Kieronski
- Kifer, M.
- Michael Kifer
- Ho Weng Kin
- Claude Kirchner
- Kirchner, C.
- I. Kiringa
- Lefteris M. Kirousis
- Oleg Kiselyov
- Felix Klaedtke
- Nils Klarlund
- Klarlund, N.
- Klay, F.
- Klop, J.W.
- Jan Willem Klop
- Todd B. Knoblock
- Hai-Ping Ko
- Naoki Kobayashi
- Christoph Koch
- Eugene E. Kohlbecker
- U. Kohlenbach
- Ulrich Kohlenbach
- Phokion G. Kolaitis
- Kolaitis, P.G.
- Phokion Kolaitis
- Phokion G. Kolatis
- Phokion G. Kolatitis
- Koller, D.
- Antonina Kolokolova
- A.P. Kopylov
- Alexei Kopylov
- Konstantin Korovin
- Emmanuel Kounalis
- Dexter Kozen
- Dexter C. Kozen
- Simon Kramer
- Stephan Kreutzer
- Saul A. Kripke
- Jean-Louis Krivine
- Andrei Krokhin
- Antonin Kucera
- Viktor Kuncak
- Gabriel M. Kuper
- Orna Kupferman
- Clemens Kupke
- Marta Kwiatkowska
- Ralf Küsters
Vineet Kahlon
- Paper: E. Allen Emerson Vineet Kahlon
Model Checking Guarded Protocols (LICS 2003) More Information...
Paris C. Kanellakis
- Paper: Gerd G. Hillebrand Paris C. Kanellakis Harry G. Mairson
Database query languages embedded in the typed lambda calculus (LICS 1993) More Information...
Paris Kanellakis
- Paper: Gerd Hillebrand Paris Kanellakis
On the Expressive Power of Simply Typed and Let-Polymorphic Lambda Calculi (LICS 1996) More Information...
Kanovich, M.I.
- Paper: Kanovich, M.I.
Horn programming in linear logic is NP-complete (LICS 1992) More Information...
Max I. Kanovich
- Paper: Max I. Kanovich
The Complexity of Neutrals in Linear Logic (LICS 1995) More Information...
Max Kanovich
- Paper: Max Kanovich Takayasu Ito
Temporal Linear Logic Specifications for Concurrent Processes (LICS 1997) More Information...
Kapron, B.M.
- Paper: Halpern, J.Y. Kapron, B.M.
Zero-one laws for modal logic (LICS 1992) More Information...
Bruce Kapron
- Paper: Samuel R. Buss Bruce Kapron
Resource-Bounded Continuity and Sequentiality for Type-Two Functionals (LICS 2000) More Information...
Deepak Kapur
- Paper: Deepak Kapur David R. Musser
Inductive Reasoning with Incomplete Specifications (Preliminary Report) (LICS 1986) More Information...
Kapur, D.
- Paper: Kapur, D. Narendran, P.
Double-exponential complexity of computing a complete set of AC-unifiers (LICS 1992) More Information...
Robert T. Kasper
- Paper: William C. Rounds Robert T. Kasper
A Complete Logical Calculus for Record Structures Representing Linguistic Information (LICS 1986) More Information...
Shmuel Katz
- Paper: Doron Peled Shmuel Katz Amir Pnueli
Specifying and proving serializability in temporal logic (LICS 1991) More Information...
Klaus Keimel
- Paper: Michael Huth Achim Jung Klaus Keimel
Linear types, approximation, and topology (LICS 1994) More Information...
Delia Kesner
- Paper: Val Breazu-Tannen Delia Kesner Laurence Puel
A typed pattern calculus (LICS 1993) More Information... - Paper: Roberto Di Cosmo Delia Kesner
Strong Normalization of Explicit Substitutions via Cut Elimination in Proof Nets (LICS 1997) More Information... - Paper: Serenella Cerrito Delia Kesner
Pattern Matching as Cut Elimination (LICS 1999) More Information...
Yonit Kesten
- Invited Talk: Yonit Kesten Amir Pnueli
A Complete Proof Systems for QPTL (LICS 1995) More Information...
A. J. Kfoury
- Paper: A. J. Kfoury J. Tiuryn P. Urzyczyn
The Hierarchy of Finitely Typed Functional Programs (Short Version) (LICS 1987) More Information... - Paper: A. J. Kfoury Jerzy Tiuryn Pawel Urzyczyn
On the computational power of universally polymorphic recursion (LICS 1988) More Information...
Kfoury, A.J.
- Paper: Kfoury, A.J. Tiuryn, J. Urzyczyn, P.
Computational consequences and partial solutions of a generalized unification problem (LICS 1989) More Information... - Paper: Kfoury, A.J. Tiuryn, J.
Type reconstruction in finite-rank fragments of the polymorphic λ-calculus (LICS 1990) More Information...
A.J. Kfoury
- Paper: A.J. Kfoury J.B. Wells
New Notions of Reduction and Non-Semantic Proofs of Strong Beta- Normalization in Typed Lambda Calculi (LICS 1995) More Information...
Assaf J. Kfoury
- Paper: Assaf J. Kfoury Santiago M. Pericas-Geertsen
Type Inference for Recursive Definitions (LICS 1999) More Information...
Bakhadyr Khoussainov
- Paper: Hajime Ishihara Bakhadyr Khoussainov Sasha Rubin
Some Results on Automatic Structures (LICS 2002) More Information... - Paper: Bakhadyr Khoussainov Sasha Rubin Frank Stephan
On Automatic Partial Orders (LICS 2003) More Information... - Paper: Bakhadyr Khoussainov Andre Nies Sasha Rubin Frank Stephan
Automatic Structures: Richness and Limitations (LICS 2004) More Information...
Emanuel Kieronski
- Paper: Emanuel Kieronski Martin Otto
Small Substructures and Decidability Issues for First-Order Logic with Two Variables (LICS 2005) More Information...
Kifer, M.
- Paper: Kifer, M. Lozinskii, E.L.
RI: a logic for reasoning with inconsistency (LICS 1989) More Information...
Michael Kifer
- Paper: Michael Kifer James Wu
A first-order theory of types and polymorphism in logic programming (LICS 1991) More Information...
Ho Weng Kin
- Paper: Martin Escardo Ho Weng Kin
Operational Domain Theory and Topology of a Sequential Programming Language (LICS 2005) More Information... - Paper: Ho Weng Kin Victor Dalmau
Generalized Majority-Minority Operations are Tractable (LICS 2005) More Information...
Claude Kirchner
- Paper: Claude Kirchner
Computing Unification Algorithms (LICS 1986) More Information... - Paper: Claude Kirchner Pierre Lescanne
Solving Disequations (LICS 1987) More Information... - Paper: Gilles Dowek Therese Hardin Claude Kirchner
Higher-order Unification via Explicit Substitutions (LICS 1995) More Information... - Paper: Nachum Dershowitz Claude Kirchner
Abstract Saturation-Based Inference (LICS 2003) More Information...
Kirchner, C.
- Paper: Kirchner, C. Klay, F.
Syntactic theories and unification (LICS 1990) More Information...
I. Kiringa
- Short Presentation: I. Kiringa D. Willard
Self-Verifying Systems, the Incompleteness Theorem and the Tangibility Reflection Principle (LICS 2001) More Information... - Short Presentation: I. Kiringa
A Theory of Advanced Transactions in the Situation Calculus (LICS 2001) More Information...
Lefteris M. Kirousis
- Paper: Lefteris M. Kirousis Phokion G. Kolatitis
A Dichotomy in the Complexity of Propositional Circumscription (LICS 2001) More Information...
Oleg Kiselyov
- Short Presentation: Oleg Kiselyov
An applicative-order term rewriting system for code generation, and its termination analysis (LICS 2003) More Information...
Felix Klaedtke
- Paper: Felix Klaedtke
On the Automata Size for Presburger Arithmetic (LICS 2004) More Information...
Nils Klarlund
- Paper: Nils Klarlund Dexter Kozen
Rabin measures and their applications to fairness and automata theory (LICS 1991) More Information...
Klarlund, N.
- Paper: Klarlund, N.
Progress measures, immediate determinacy, and a subset construction for tree automata (LICS 1992) More Information...
Klay, F.
- Paper: Kirchner, C. Klay, F.
Syntactic theories and unification (LICS 1990) More Information...
Klop, J.W.
- Paper: de Boer, F.S. Klop, J.W. Palamidessi, C.
Asynchronous communication in process algebra (LICS 1992) More Information...
Jan Willem Klop
- Paper: Zena Ariola Jan Willem Klop
Cyclic lambda graph rewriting (LICS 1994) More Information... - Paper: Inge Bethke Jan Willem Klop Roel de Vrijer
Completing Partial Combinatory Algebras with Unique Head-Normal Forms (LICS 1996) More Information...
Todd B. Knoblock
- Paper: Todd B. Knoblock Robert L. Constable
Formalized Metareasoning in Type Theory (LICS 1986) More Information...
Hai-Ping Ko
- Paper: Shang-Ching Chou Hai-Ping Ko
On Mechanical Theorem Proving in Minkowskian Plane Geometry (LICS 1986) More Information...
Naoki Kobayashi
- Paper: Naoki Kobayashi
A Partially Deadlock-free Typed Process Calculus (LICS 1997) More Information...
Christoph Koch
- Invited Talk: Georg Gottlob Christoph Koch
Monadic Queries over Tree-Structured Data (LICS 2002) More Information... - Paper: Markus Frick Martin Grohe Christoph Koch
Query Evaluation on Compressed Trees (Extended Abstract) (LICS 2003) More Information... - Short Presentation: Martin Grohe Christoph Koch
Arb: An Implementation of Selecting Tree Automata for XML Query Processing (LICS 2003) More Information...
Eugene E. Kohlbecker
- Paper: Matthias Felleisen Daniel P. Friedman Eugene E. Kohlbecker Bruce F. Duba
Reasoning with Continuations (LICS 1986) More Information...
U. Kohlenbach
- Short Presentation: U. Kohlenbach
Recent Progress in Proof Mining (LICS 2001) More Information...
Ulrich Kohlenbach
- Paper: Yohji Akama Stefano Berardi Susumu Hayashi Ulrich Kohlenbach
An Arithmetical Hierarchy of the Law of Excluded Middle and Related Principles (LICS 2004) More Information...
Phokion G. Kolaitis
- Paper: Phokion G. Kolaitis Moshe Y. Vardi
0-1 laws and decision problems for fragments of second-order logic (LICS 1988) More Information... - Paper: Phokion G. Kolaitis Moshe Y. Vardi
On the expressive power of variable-confined logics (LICS 1996) More Information... - Paper: Phokion G. Kolaitis Martin Otto
On the Boundedness Problem for Two-Variable First-Order Logic (LICS 1998) More Information... - Paper: Albert Atserias Phokion G. Kolaitis
First-Order Logic vs. Fixed-Point Logic in Finite Set Theory (LICS 1999) More Information...
Kolaitis, P.G.
- Paper: Kolaitis, P.G. Vardi, M.Y.
0-1 laws for infinitary logics (LICS 1990) More Information... - Paper: Kolaitis, P.G.
Implicit definability on finite structures and unambiguous computations (LICS 1990) More Information... - Paper: Kolaitis, P.G. Vardi, M.Y.
Fixpoint logic vs. infinitary logic in finite-model theory (LICS 1992) More Information... - Paper: Kolaitis, P.G. Vaananen, J.A.
Generalized quantifiers and pebble games on finite structures (LICS 1992) More Information...
Phokion Kolaitis
- Paper: Lauri Hella Phokion Kolaitis Kerkko Luosto
How to define a linear order on finite models (LICS 1994) More Information...
Phokion G. Kolatis
- Invited Talk: Phokion G. Kolatis
A Tutorial on Finite Model Theory (LICS 1993) More Information...
Phokion G. Kolatitis
- Paper: Lefteris M. Kirousis Phokion G. Kolatitis
A Dichotomy in the Complexity of Propositional Circumscription (LICS 2001) More Information...
Koller, D.
- Paper: Grove, A.J. Halpern, J.Y. Koller, D.
Random worlds and maximum entropy (LICS 1992) More Information...
Antonina Kolokolova
- Paper: Stephen Cook Antonina Kolokolova
A Second-Order System for Polytime Reasoning Using Grädel's Theorem (LICS 2001) More Information... - Short Presentation: Stephen Cook Antonina Kolokolova
A second-order theory for NL (LICS 2003) More Information... - Paper: Stephen Cook Antonina Kolokolova
A Second-Order Theory for NL (LICS 2004) More Information...
A.P. Kopylov
- Paper: A.P. Kopylov
Decidability of Linear Affine Logic (LICS 1995) More Information...
Alexei Kopylov
- Paper: Alexei Kopylov
Dependent Intersection: A New Way of Defining Records in Type Theory (LICS 2003) More Information...
Konstantin Korovin
- Paper: Konstantin Korovin Andrei Voronkov
A Decision Procedure for the Existential Theory of Term Algebras with the Knuth-Bendix Ordering (LICS 2000) More Information... - Paper: Harald Ganzinger Konstantin Korovin
New Directions in Instantiation-Based Theorem Proving (LICS 2003) More Information... - Paper: Konstantin Korovin Andrei Voronkov
Orienting Equalities with the Knuth-Bendix Order (LICS 2003) More Information...
Emmanuel Kounalis
- Paper: Jean-Pierre Jouannaud Emmanuel Kounalis
Automatic Proofs by Induction in Equational Theories Without Constructors (LICS 1986) More Information...
Dexter Kozen
- Paper: Neil Immerman Dexter Kozen
Definability with Bounded Number of Bound Variables (LICS 1987) More Information... - Paper: Dexter Kozen
A completeness theorem for Kleene algebras and the algebra of regular events (LICS 1991) More Information... - Paper: Nils Klarlund Dexter Kozen
Rabin measures and their applications to fairness and automata theory (LICS 1991) More Information... - Paper: David A. McAllester Robert Givan Carl Witty Dexter Kozen
Tarskian Set Constraints (LICS 1996) More Information... - Paper: Dexter Kozen
On the Complexity of Reasoning in Kleene Algebra (LICS 1997) More Information... - Paper: Dexter Kozen
On Hoare Logic and Kleene Algebra with Tests (LICS 1999) More Information... - Paper: Dexter Kozen Jerzy Tiuryn
Intuitionistic Linear Logic and Partial Correctness (LICS 2001) More Information...
Dexter C. Kozen
- Paper: Mark W. Hopkins Dexter C. Kozen
Parikh's Theorem in Commutative Kleene Algebra (LICS 1999) More Information...
Simon Kramer
- Short Presentation: Simon Kramer
A Language and a Notion of Truth for Cryptographic Properties (LICS 2003) More Information...
Stephan Kreutzer
- Paper: Stephan Kreutzer
Expressive Equivalence of Least and Inflationary Fixed-Point Logic (LICS 2002) More Information... - Invited Talk: Erich Grädel Stephan Kreutzer
Will Deflation Lead to Depletion? On Non-Monotone Fixed Point Inductions (LICS 2003) More Information...
Saul A. Kripke
- Invited Talk: Saul A. Kripke
From the Church-Turing Thesis to the First-Order Algorithm Theorem (LICS 2000) More Information...
Jean-Louis Krivine
- Invited Talk: Jean-Louis Krivine
The Curry-Howard Correspondence in Set Theory (LICS 2000) More Information...
Andrei Krokhin
- Paper: Victor Dalmau Andrei Krokhin Benoit Larose
First-Order Definable Retraction Problems for Posets and Reflexive Graphs (LICS 2004) More Information...
Antonin Kucera
- Paper: Javier Esparza Antonin Kucera Richard Mayr
Model Checking Probabilistic Pushdown Automata (LICS 2004) More Information... - Paper: Javier Esparza Antonin Kucera Richard Mayr
Quantitative Analysis of Probabilistic Pushdown Automata: Expectations and Variances (LICS 2005) More Information...
Viktor Kuncak
- Paper: Viktor Kuncak Martin Rinard
Structural Subtyping of Non-Recursive Types is Decidable (LICS 2003) More Information...
Gabriel M. Kuper
- Paper: Gabriel M. Kuper Ken McAloon Krishna V. Palem Kenneth J. Perry
Efficient parallel algorithms for anti-unification and relative complement (LICS 1988) More Information...
Orna Kupferman
- Paper: Orna Kupferman Amir Pnueli
Once and For All (LICS 1995) More Information... - Paper: Orna Kupferman Shumel Safra Moshe Y. Vardi
Relating word and tree automata (LICS 1996) More Information... - Paper: Orna Kupferman Moshe Y. Vardi
Freedom, Weakness, and Determinism: From Linear-Time to Branching-Time (LICS 1998) More Information... - Paper: Orna Kupferman Moshe Y. Vardi
Synthesizing Distributed Systems (LICS 2001) More Information...
Clemens Kupke
- Paper: Clemens Kupke Yde Venema
Closure Properties of Coalgebra Automata (LICS 2005) More Information...
Marta Kwiatkowska
- Paper: Michael Huth Marta Kwiatkowska
Quantitative Analysis and Model Checking (LICS 1997) More Information... - Invited Talk: Marta Kwiatkowska
Model checking for probability and time: from theory to practice (LICS 2003) More Information...
Ralf Küsters
- Paper: Yannick Chevalier Ralf Küsters Michaël Rusinowitch Mathieu Turuani
An NP Decision Procedure for Protocol Insecurity with XOR (LICS 2003) More Information...