Authors on this page:
- Salvatore La Torre
- Claude Laflamme
- Y. Lafont
- James Laird
- J. Laird
- Laks V. S. Lakshmanan
- François Lamarche
- Francois Lamarche
- J. Lambek
- Leslie Lamport
- Cosimo Laneve
- Martin Lange
- Sophie Laplante
- Benoit Larose
- François Laroussinie
- Kim Guldstrand Larsen
- Larsen, K.G.
- Richard Lassaigne
- Soren Lassen
- Lassez, J.-L.
- Louis Latour
- Olivier LAURENT
- Olivier Laurent
- Clemens Lautemann
- Jean-Marie Le Bars
- Peter Lee
- Seunghwan H. Lee
- Chin-Laung Lei
- Hans Leiß
- Alexander Leitsch
- Leivant, D.
- Daniel Leivant
- Kjell Lemström
- Maurizio Lenzerini
- Giacomo Lenzi
- Jerome Leroux
- Pierre Lescanne
- Lescanne, P.
- Daniel Leviant
- Jeremy Levitt
- Levy, J.-J.
- Lewis, H.R.
- Leonid Libkin
- Yossi Lichtenstein
- Lichtenstein, O.
- Andre Lieutier
- Lifschitz, V.
- Patrick Lincoln
- Lincoln, P.
- Steven Lindell
- S. Lindell
- Steven Lindell
- Ralph Loader
- Alexey Loginov
- Markus Lohrey
- Long, D.E.
- David E. Long
- Giuseppe Longo
- G. Loop
- Silvia de Lorenzis
- D.W. Loveland
- Etienne Lozes
- Lozinskii, E.L.
- Yuan Lu
- Lubarsky, R.S.
- Luo, Z.
- Kerkko Luosto
- I. Lynce
- Lynch, N.A.
- James F. Lynch
- Christopher Lynch
- C. Lynch
Salvatore La Torre
- Paper: Rajeev Alur Salvatore La Torre
Deterministic Generators and Games for LTL Fragments (LICS 2001) More Information...
Claude Laflamme
- Paper: Kevin J. Compton Claude Laflamme
An algebra and a logic for NC¹ (LICS 1988) More Information...
Y. Lafont
- Paper: Y. Lafont T. Streicher
Games semantics for linear logic (LICS 1991) More Information...
James Laird
- Paper: James Laird
Full abstraction for functional languages with control (LICS 1997) More Information...
J. Laird
- Paper: J. Laird
A Fully Abstract Game Semantics of Local Exceptions (LICS 2001) More Information...
Laks V. S. Lakshmanan
- Paper: Laks V. S. Lakshmanan Karima Ashraf Jiawei Han
Homomorphic tree embeddings and their applications to recursive program optimization (LICS 1993) More Information...
François Lamarche
- Paper: François Lamarche
Games Semantics for Full Propositional Linear Logic (LICS 1995) More Information...
Francois Lamarche
- Paper: Francois Lamarche Lutz Strassburger
Constructing Free Boolean Categories (LICS 2005) More Information...
J. Lambek
- Invited Talk: J. Lambek
Programs, grammars and arguments: a personal view of some connections between computation, language and logic (LICS 1993) More Information...
Leslie Lamport
- Paper: Martín Abadi Leslie Lamport
The existence of refinement mappings (LICS 1988) More Information...
Cosimo Laneve
- Paper: Andrea Asperti Vincent Danos Cosimo Laneve Laurent Regnier
Paths in the lambda-calculus. Three years of communications without understanding (LICS 1994) More Information...
Martin Lange
- Paper: Martin Lange Colin Stirling
Focus Games for Satisfiability and Completeness of Temporal Logic (LICS 2001) More Information...
Sophie Laplante
- Paper: Sophie Laplante Richard Lassaigne Frederic Magniez Sylvain Peyronnet Michel de Rougemont
Probabilistic abstraction for model checking: An approach based on property testing (LICS 2002) More Information...
Benoit Larose
- Paper: Victor Dalmau Andrei Krokhin Benoit Larose
First-Order Definable Retraction Problems for Posets and Reflexive Graphs (LICS 2004) More Information...
François Laroussinie
- Paper: François Laroussinie Nicolas Markey Philippe Schnoebelen
Temporal Logic with Forgettable Past (LICS 2002) More Information...
Kim Guldstrand Larsen
- Paper: Kim Guldstrand Larsen Bent Thomsen
A modal process logic (LICS 1988) More Information... - Paper: Bengt Jonsson Kim Guldstrand Larsen
Specification and refinement of probabilistic processes (LICS 1991) More Information...
Larsen, K.G.
- Paper: Larsen, K.G. Xinxin, L.
Equation solving using modal transition systems (LICS 1990) More Information...
Richard Lassaigne
- Paper: Sophie Laplante Richard Lassaigne Frederic Magniez Sylvain Peyronnet Michel de Rougemont
Probabilistic abstraction for model checking: An approach based on property testing (LICS 2002) More Information...
Soren Lassen
- Paper: Soren Lassen
Eager Normal Form Bisimulation (LICS 2005) More Information...
Lassez, J.-L.
- Paper: Lassez, J.-L. McAloon, K.
A constraint sequent calculus (LICS 1990) More Information...
Louis Latour
- Paper: Louis Latour
From Automata to Formulas: Convex Integer Polyhedra (LICS 2004) More Information...
Olivier LAURENT
- Paper: Olivier LAURENT
Polarized games (LICS 2002) More Information...
Olivier Laurent
- Paper: Olivier Laurent Laurent Regnier
About Translations of Classical Logic into Polarized Linear Logic (LICS 2003) More Information...
Clemens Lautemann
- Paper: David A. Mix Barrington Neil Immerman Clemens Lautemann Nicole Schweikardt Denis Thérien
The Crane Beach Conjecture (LICS 2001) More Information...
Jean-Marie Le Bars
- Paper: Jean-Marie Le Bars
The 0-1 law fails for frame satisfiability of propositional modal logic (LICS 2002) More Information...
Peter Lee
- Paper: George C. Necula Peter Lee
Efficient Representation and Validation of Proofs (LICS 1998) More Information...
Seunghwan H. Lee
- Short Presentation: Seunghwan H. Lee
Problems in nesting logics to higher order (LICS 2005) More Information...
Chin-Laung Lei
- Paper: E. Allen Emerson Chin-Laung Lei
Efficient Model Checking in Fragments of the Propositional Mu-Calculus (Extended Abstract) (LICS 1986) More Information...
Hans Leiß
- Paper: Foto Afrati Hans Leiß Michel de Rougemont
Definability and Compression (LICS 2000) More Information...
Alexander Leitsch
- Paper: Matthias Baaz Christian Fermuller Alexander Leitsch
A non-elementary speed-up in proof length by structural clause form transformation (LICS 1994) More Information...
Leivant, D.
- Paper: Leivant, D.
Stratified polymorphism (LICS 1989) More Information...
Daniel Leivant
- Paper: Daniel Leivant
Calibrating computational feasibility by abstraction rank (LICS 2002) More Information... - Paper: Daniel Leivant
Proving Termination Assertions in Dynamic Logics (LICS 2004) More Information...
Kjell Lemström
- Paper: Kjell Lemström Lauri Hella
Approximate Pattern Matching is Expressible in Transitive Closure Logic (LICS 2000) More Information...
Maurizio Lenzerini
- Paper: Diego Calvanese Giuseppe de Giacomo Maurizio Lenzerini Moshe Y. Vardi
View-Based Query Processing and Constraint Satisfaction (LICS 2000) More Information... - Invited Talk: Diego Calvanese Giuseppe De Giacomo Maurizio Lenzerini
Description Logics: Foundations for Class-based Knowledge Representation (LICS 2002) More Information...
Giacomo Lenzi
- Paper: Giacomo Lenzi Andre Arnold Jerzy Marcinkowski
The Hierarchy inside Closed Monadic S1 Collapses on the Infinite Binary Tree (LICS 2001) More Information... - Paper: David Janin Giacomo Lenzi
Relating Levels of the Mu-Calculus Hierarchy and Levels of the Monadic Hierarchy (LICS 2001) More Information...
Jerome Leroux
- Paper: Jerome Leroux
A Polynomial Time Presburger Criterion and Synthesis for Number Decision Diagrams (LICS 2005) More Information...
Pierre Lescanne
- Paper: Claude Kirchner Pierre Lescanne
Solving Disequations (LICS 1987) More Information... - Paper: Max Dauchet Sophie Tison Thierry Heuillard Pierre Lescanne
Decidability of the Confluence of Ground Term Rewriting Systems (LICS 1987) More Information...
Lescanne, P.
- Paper: Lescanne, P.
Well rewrite orderings (LICS 1990) More Information...
Daniel Leviant
- Paper: Daniel Leviant
A foundational delineation of computational feasibility (LICS 1991) More Information...
Jeremy Levitt
- Paper: Aaron Stump Clark W. Barrett David L. Dill Jeremy Levitt
A Decision Procedure for an Extensional Theory of Arrays (LICS 2001) More Information...
Levy, J.-J.
- Paper: Gonthier, G. Levy, J.-J. Mellies, P.-A.
An abstract standardisation theorem (LICS 1992) More Information... - Paper: Gonthier, G. Abadi, M. Levy, J.-J.
Linear logic without boxes (LICS 1992) More Information...
Lewis, H.R.
- Paper: Lewis, H.R.
A logic of concrete time intervals (LICS 1990) More Information...
Leonid Libkin
- Paper: Michael Benedikt Leonid Libkin
On the Structure of Queries in Constraint Query Languages (LICS 1996) More Information... - Paper: Leonid Libkin
On the Forms of Locality over Finite Models (LICS 1997) More Information... - Paper: Leonid Libkin
On Counting Logics and Local Properties (LICS 1998) More Information... - Paper: Lauri Hella Leonid Libkin Juha Nurmonen Limsoon Wong
Logics with Aggregate Operators (LICS 1999) More Information... - Paper: Leonid Libkin
Logics with Counting, Auxiliary Relations, and Lower Bounds for Invariant Queries (LICS 1999) More Information... - Paper: Michael Benedikt Leonid Libkin Thomas Schwentick Luc Segoufin
A Model-Theoretic Approach to Regular String Relations (LICS 2001) More Information... - Paper: Michael Benedikt Leonid Libkin
Tree Extension Algebras: Logics, Automata, and Query Languages (LICS 2002) More Information... - Paper: Leonid Libkin Frank Neven
Logical Definability and Query Languages over Unranked Trees (LICS 2003) More Information... - Short Presentation: Marcelo Arenas Pablo Barcelo Leonid Libkin
Game-based Notions of Locality (LICS 2003) More Information... - Paper: Pablo Barcelo Leonid Libkin
Temporal Logics over Unranked Trees (LICS 2005) More Information...
Yossi Lichtenstein
- Paper: Rob Gerth Michael Codish Yossi Lichtenstein Ehud Y. Shapiro
Fully abstract denotational semantics for flat Concurrent Prolog (LICS 1988) More Information...
Lichtenstein, O.
- Paper: Harel, E. Lichtenstein, O. Pnueli, A.
Explicit clock temporal logic (LICS 1990) More Information...
Andre Lieutier
- Paper: Abbas Edalat Andre Lieutier
Domain Theory and Differential Caluculus (Functions of one variable) (LICS 2002) More Information...
Lifschitz, V.
- Paper: Lifschitz, V.
The mathematics of nonmonotonic reasoning (LICS 1989) More Information...
Patrick Lincoln
- Paper: Patrick Lincoln Andre Scedrov Natarajan Shankar
Linearizing intuitionistic implication (LICS 1991) More Information... - Paper: Patrick Lincoln N. Shankar
Proof search in first-order linear logic and other cut-free sequent calculi (LICS 1994) More Information... - Paper: Patrick Lincoln Natarajan Shankar Andre Scedrov
Decision Problems For Second-Order Linear Logic (LICS 1995) More Information...
Lincoln, P.
- Paper: Lincoln, P. Mitchell, J.
Operational aspects of linear lambda calculus (LICS 1992) More Information...
Steven Lindell
- Paper: Steven Lindell Scott Weinstein
The Role of Decidability in First Order Separations over Classes of Finite Structures (LICS 2000) More Information...
S. Lindell
- Short Presentation: S. Lindell I. Cervesato
The Dolev-Yaho Intruder is the Most Powerful Attacker (LICS 2001) More Information... - Short Presentation: S. Lindell
Finite Visit Sequential Deterministic Tree Automata (LICS 2001) More Information...
Steven Lindell
- Short Presentation: Steven Lindell
Linear-time algorithms for Monadic Logic (LICS 2003) More Information...
Ralph Loader
- Paper: Ralph Loader
Linear logic, totality and full completeness (LICS 1994) More Information...
Alexey Loginov
- Paper: Thomas Reps Alexey Loginov Mooly Sagiv
Semantic Minimization of 3-Valued Propositional Formulae (LICS 2002) More Information...
Markus Lohrey
- Paper: Markus Lohrey
Model-Checking Hierarchical Structures (LICS 2005) More Information...
Long, D.E.
- Paper: Bose, S. Clarke, E.M. Long, D.E. Michaylov, S.
PARTHENON: a parallel theorem prover for nonHorn clauses (LICS 1989) More Information... - Paper: Clarke, E.M. Long, D.E. McMillan, K.L.
Compositional model checking (LICS 1989) More Information...
David E. Long
- Paper: Patrice Godefroid David E. Long
Symbolic Protocol Verification with Queue BDDs (LICS 1996) More Information...
Giuseppe Longo
- Paper: Roberto M. Amadio Kim B. Bruce Giuseppe Longo
The Finitary Projection Model for Second Order Lambda Calculus and Solutions to Higher Order Domain Equations (LICS 1986) More Information... - Paper: Kim B. Bruce Giuseppe Longo
A modest model of records, inheritance and bounded quantification (LICS 1988) More Information... - Paper: Giuseppe Longo Kathleen Milsted Sergei Soloviev
The genericity theorem and the notion of parametricity in the polymorphic λ-calculus (LICS 1993) More Information...
G. Loop
- Paper: G. Loop K. Milsted S. Soloviev
A logic of subtyping (LICS 1995) More Information...
Silvia de Lorenzis
- Paper: Antonio Bucciarelli Silvia de Lorenzis Adolfo Piperno Ivano Salvo
Some Computational Properties of Intersection Types (LICS 1999) More Information...
D.W. Loveland
- Paper: G. Nadathur D.W. Loveland
Uniform proofs and disjunctive logic programming (LICS 1995) More Information...
Etienne Lozes
- Paper: Daniel Hirschkoff
Etienne Lozes Davide Sangiorgi
Separability, expressiveness, and decidability in the Ambient Logic (LICS 2002) More Information...
Lozinskii, E.L.
- Paper: Kifer, M. Lozinskii, E.L.
RI: a logic for reasoning with inconsistency (LICS 1989) More Information...
Yuan Lu
- Paper: Edmund Clarke Somesh Jha Yuan Lu Helmut Veith
Tree-like Counterexamples in Model Checking (LICS 2002) More Information...
Lubarsky, R.S.
- Paper: Lubarsky, R.S.
μ-definable sets of integers (LICS 1989) More Information...
Luo, Z.
- Paper: Luo, Z.
ECC, an extended calculus of constructions (LICS 1989) More Information...
Kerkko Luosto
- Paper: Lauri Hella Phokion Kolaitis Kerkko Luosto
How to define a linear order on finite models (LICS 1994) More Information... - Paper: Kerkko Luosto
Equicardinality on Linear Orders (LICS 2004) More Information...
I. Lynce
- Short Presentation: I. Lynce J. Marques-Silva
Integrating Simplification Techniques in SAT Algorithms (LICS 2001) More Information...
Lynch, N.A.
- Paper: Goldman, K.J. Lynch, N.A.
Modelling shared state in a shared action model (LICS 1990) More Information...
James F. Lynch
- Paper: James F. Lynch
Infinitary logics and very sparse random graphs (LICS 1993) More Information... - Paper: James F. Lynch Jerzy Tyszkiewicz
The Infinitary Logic of Sparse Random Graphs (LICS 1995) More Information... - Paper: James F. Lynch
Convergence Law for Random Graphs with Specified Degree Sequence (LICS 2003) More Information... - Short Presentation: James F. Lynch
A Proposal to Extend Abstract State Machines to Applications in Systems Biology (LICS 2003) More Information...
Christopher Lynch
- Paper: Christopher Lynch
Paramodulation without Duplication (LICS 1995) More Information... - Paper: Christopher Lynch Barbara Morawska
Automatic Decidability (LICS 2002) More Information...
C. Lynch
- Short Presentation: C. Lynch C. Scharff
Basic Completion Modulo with Simplification (LICS 2001) More Information...