Authors on this page:
- Franz Baader
- Matthias Baaz
- Leo Bachmair
- J.C.M. Baeten
- Christel Baier
- P. Baillot
- Patrick Baillot
- Vincent Balat
- Michael Baldamus
- John T. Baldwin
- Anindya Banerjee
- Franco Barbanera
- Pablo Barcelo
- Henk Barendregt
- Mike Barnett
- Clark W. Barrett
- David A. Mix Barrington
- Jean-Marie Le Bars
- Jon Barwise
- Eli Barzilay
- David Basin
- Marianne Baudinet
- L. Bauer
- Augustin Baziramwabo
- Paul Beame
- Lennart Beckman
- E. Beffara
- Shai Ben-David
- Rachel Ben-Eliyahu
- Ofer Ben-Shachar
- Michael Benedikt
- David B. Benson
- Nick Benton
- Véronique Benzaken
- Stefano Berardi
- U. Berger
- Ulrich Berger
- Martin Berger
- Clifford Bergman
- Karen L. Bernstein
- Gerard Berry
- Inge Bethke
- Girish Bhat
- N. Bidoit
- Bodil Biering
- Lars Birkedal
- L. Birkedal
- H. Björklund
- P. Blackburn
- Bruno Blanchet
- Frédéric Blanqui
- Bard Bloom
- Bloom, B.
- Achim Blumensath
- Richard Blute
- M. Bodirsky
- Corrado Boehm
- Miquel Bofill
- Maria Luisa Bonet Bonet
- Iovka Boneva
- Michele Boreale
- Bose, S.
- Ahmed Bouajjani
- Alexandre Boudet
- Boudet, A.
- A. Bouhoula
- Val Breazu-Tannen
- Breazu-Tannen, V.
- Antonio Brogi
- Stephen D. Brookes
- Stephen Brookes
- Brown, C.
- Carolyn Brown
- Michael C. Browne
- Kim B. Bruce
- Roberto Bruni
- Glenn Bruns
- Randal E. Bryant
- Antonio Bucciarelli
- Andrei A. Bulatov
- Burch, J.R.
- Joshua Buresh-Oppenheim
- Rod Burstall
- Samuel R. Buss
- C. Böhm
- Corrado Böhm
Franz Baader
- Paper: Franz Baader
Combination of Compatible Reduction Orderings that are Total on Ground Terms (LICS 1997) More Information...
Matthias Baaz
- Paper: Matthias Baaz Christian Fermuller Alexander Leitsch
A non-elementary speed-up in proof length by structural clause form transformation (LICS 1994) More Information...
Leo Bachmair
- Paper: Leo Bachmair Nachum Dershowitz Jieh Hsiang
Orderings for Equational Proofs (LICS 1986) More Information... - Paper: Leo Bachmair Nachum Dershowitz
Inference Rules for Rewrite-Based First-Order Theorem Proving (LICS 1987) More Information... - Paper: Leo Bachmair
Proof by consistency in equational theories (LICS 1988) More Information... - Paper: Leo Bachmair Harald Ganzinger Uwe Waldmann
Set constraints are the monadic class (LICS 1993) More Information... - Paper: Leo Bachmair Harald Ganzinger
Rewrite techniques for transitive relations (LICS 1994) More Information...
J.C.M. Baeten
- Paper: J.C.M. Baeten F. Corradini
Regular Expressions in Process Algebra (LICS 2005) More Information...
Christel Baier
- Paper: Christel Baier Marcus Grosser
Recognizing ?-regular Languages with Probabilistic Automata (LICS 2005) More Information...
P. Baillot
- Paper: P. Baillot V. Danos T. Ehrhard L. Regnier
Believe it or not, AJM's games model is a model of classical linear logic (LICS 1997) More Information...
Patrick Baillot
- Paper: Patrick Baillot Kazushige Terui
Light Types for Polynomial Time Computation in Lambda-Calculus (LICS 2004) More Information...
Vincent Balat
- Paper: Marcelo Fiore Roberto Di Cosmo Vincent Balat
Remarks on Isomorphisms in Typed Lambda Calculi with Empty and Sum Types (LICS 2002) More Information...
Michael Baldamus
- Paper: Michael Baldamus Joachim Parrow Victor Victor
Spi Calculus Translated to π--Calculus Preserving May-Tests (LICS 2004) More Information...
John T. Baldwin
- Paper: John T. Baldwin Michael Benedikt
Embedded Finite Models, Stability Theory and the Impact of Order (LICS 1998) More Information...
Anindya Banerjee
- Paper: Anindya Banerjee Nevin Heintze Jon G. Riecke
Region Analysis and the Polymorphic Lambda Calculus (LICS 1999) More Information...
Franco Barbanera
- Paper: Fabio Alessi Franco Barbanera
Toward a semantics for the QUEST language (LICS 1991) More Information... - Paper: Franco Barbanera Maribel Fernandez Herman Geuvers
Modularity of strong normalization and confluence in the algebraic-λ-cube (LICS 1994) More Information...
Pablo Barcelo
- 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...
Henk Barendregt
- Invited Talk: Henk Barendregt
Results and Problems Related to Proof Checking (LICS 1994) More Information...
Mike Barnett
- Paper: David A. Naumann Mike Barnett
Towards Imperative Modules: Reasoning about Invariants and Sharing of Mutable State (LICS 2004) More Information...
Clark W. Barrett
- Paper: Aaron Stump Clark W. Barrett David L. Dill Jeremy Levitt
A Decision Procedure for an Extensional Theory of Arrays (LICS 2001) More Information...
David A. Mix Barrington
- 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
Fragments of Existential Second-Order Logic without 0-1 Laws (LICS 1998) More Information...
Jon Barwise
- Invited Talk: Jon Barwise Jerry Seligman
Imperfect information flow (LICS 1993) More Information...
Eli Barzilay
- Short Presentation: Eli Barzilay Stuart Allen Robert Constable
Practical Reflection in Nuprl (LICS 2003) More Information...
David Basin
- Paper: David Basin Harald Ganzinger
Complexity Analysis Based on Ordered Resolution (LICS 1996) More Information...
Marianne Baudinet
- Paper: Marianne Baudinet
Proving termination properties of Prolog programs: a semantic approach (LICS 1988) More Information...
L. Bauer
- Short Presentation: L. Bauer M. Schneider E. Felten
A proof-Carrying Authorization System (LICS 2001) More Information...
Augustin Baziramwabo
- Paper: Augustin Baziramwabo Pierre McKenzie Denis Thérien
Modular Temporal Logic (LICS 1999) More Information...
Paul Beame
- Paper: Paul Beame Toniann Pitassi
An exponential separation between the matching principle and the pigeonhole principle (LICS 1993) More Information...
Lennart Beckman
- Paper: Lennart Beckman Rune Gustavsson Annika Wærn
An Algebraic Model of Parallel Execution of Logic Programs (LICS 1986) More Information...
E. Beffara
- Short Presentation: E. Beffara S. Vorobyov
Is Randomized Gurvich-Karzanov-Khachiyan's Algorithm for Parity Games Polynomial? (LICS 2002) More Information...
Shai Ben-David
- Paper: Shai Ben-David Rachel Ben-Eliyahu
A modal logic for subjective default reasoning (LICS 1994) More Information...
Rachel Ben-Eliyahu
- Paper: Shai Ben-David Rachel Ben-Eliyahu
A modal logic for subjective default reasoning (LICS 1994) More Information...
Ofer Ben-Shachar
- Paper: David B. Benson Ofer Ben-Shachar
Strong Bisimulation of State Automata (LICS 1986) More Information...
Michael Benedikt
- Paper: Michael Benedikt Leonid Libkin
On the Structure of Queries in Constraint Query Languages (LICS 1996) More Information... - Paper: John T. Baldwin Michael Benedikt
Embedded Finite Models, Stability Theory and the Impact of Order (LICS 1998) 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... - Invited Talk: Michael Benedikt
An Insider's Guide to Logic in Telecommunications Data (LICS 2005) More Information...
David B. Benson
- Paper: David B. Benson Ofer Ben-Shachar
Strong Bisimulation of State Automata (LICS 1986) More Information...
Nick Benton
- Paper: Nick Benton Philip Wadler
Linear Logic, Monads and the Lambda Calculus (LICS 1996) More Information...
Véronique Benzaken
- Paper: Alain Frisch Giuseppe Castagna Véronique Benzaken
Semantic subtyping (LICS 2002) More Information...
Stefano Berardi
- 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...
U. Berger
- Paper: U. Berger H. Schwichtenberg
An inverse of the evaluation functional for typed λ-calculus (LICS 1991) More Information...
Ulrich Berger
- Paper: Ulrich Berger
A Computational Interpretation of Open Induction (LICS 2004) More Information...
Martin Berger
- Paper: Kohei Honda Nobuko Yoshida Martin Berger
An Observationally Complete Program Logic for Imperative Higher-Order Frame Rules (LICS 2005) More Information...
Clifford Bergman
- Paper: Clifford Bergman Giora Slutzki
Computational Complexity of Some Problems Involving Congruences on Algebras (LICS 2000) More Information...
Karen L. Bernstein
- Paper: Karen L. Bernstein
A Congruence Theorem for Structured Operational Semantics of Higher-Order Languages (LICS 1998) More Information...
Gerard Berry
- Invited Talk: Gerard Berry
The Semantics of Synchronous Concurrent Languages (LICS 1994) More Information...
Inge Bethke
- Paper: Inge Bethke Jan Willem Klop Roel de Vrijer
Completing Partial Combinatory Algebras with Unique Head-Normal Forms (LICS 1996) More Information...
Girish Bhat
- Paper: Girish Bhat Rance Cleaveland Orna Grumberg
Efficient On-the-Fly Model Checking for CTL (LICS 1995) More Information... - Paper: Girish Bhat Rance Cleaveland
Efficient model checking via the equational /spl mu/-calculus (LICS 1996) More Information...
N. Bidoit
- Paper: N. Bidoit C. Froidevaux
Minimalism subsumes Default Logic and Circumscription in Stratified Logic Programming (LICS 1987) More Information...
Bodil Biering
- Short Presentation: Bodil Biering Lars Birkedal Noah Torp-Smith
Higher-Order Separation Logic (LICS 2005) More Information...
Lars Birkedal
- Paper: Lars Birkedal Aurelio Carboni Giuseppe Rosolini Dana S. Scott
Type Theory via Exact Categories (LICS 1998) More Information... - Paper: Lars Birkedal Noah Torp-Smith Hongseok Yang
Semantics of Separation-Logic Typing and Higher-Order Frame Rules (LICS 2005) More Information... - Short Presentation: Bodil Biering Lars Birkedal Noah Torp-Smith
Higher-Order Separation Logic (LICS 2005) More Information...
L. Birkedal
- Paper: L. Birkedal
A General Notion of Realizability (LICS 2000) More Information...
H. Björklund
- Short Presentation: H. Björklund S. Vorobyov
Two Adversary Lower Bounds for Parity Games (LICS 2002) More Information...
P. Blackburn
- Short Presentation: C. Areces P. Blackburn M. Marx
Repairing the Interpolation Theorem in First-Order Modal Logic (LICS 2001) More Information...
Bruno Blanchet
- Paper: Bruno Blanchet Martin Abadi Cedric Fournet
Automated Verification of Selected Equivalences for Security Protocols (LICS 2005) More Information...
Frédéric Blanqui
- Paper: Frédéric Blanqui
Definitions by Rewriting in the Calculus of Constructions (LICS 2001) More Information...
Bard Bloom
- Paper: Bard Bloom
Can LCF be topped? Flat lattice models of typed lambda calculus (LICS 1988) More Information... - Paper: Bard Bloom Wan Fokkink Rob Van Glabbeek
Precongruence Formats for Decorated Trace Preorders (LICS 2000) More Information...
Bloom, B.
- Paper: Aceto, L. Bloom, B. Vaandrager, F.
Turning SOS rules into equations (LICS 1992) More Information...
Achim Blumensath
- Paper: Achim Blumensath Erich Grädel
Automatic Structures (LICS 2000) More Information...
Richard Blute
- Paper: Richard Blute Josee Desharnais Abbas Edalat Prakash Panangaden
Bisimulation for Labelled Markov Processes (LICS 1997) More Information...
M. Bodirsky
- Short Presentation: M. Bodirsky M. Gaertner T. von Oertzen J. Schwinghammer
Computing the Density of Regular Languages (LICS 2001) More Information...
Corrado Boehm
- Invited Talk: Corrado Boehm
An Algebraic View of the Lambda-Calculus (LICS 1994) More Information...
Miquel Bofill
- Paper: Miquel Bofill Guillem Godoy Robert Nieuwenhuis Albert Rubio
Paramodulation with Non-Monotonic Orderings (LICS 1999) More Information...
Maria Luisa Bonet Bonet
- Paper: Maria Luisa Bonet Bonet Samuel R. Buss
On the deduction rule and the number of proof lines (LICS 1991) More Information...
Iovka Boneva
- Paper: Iovka Boneva Jean-Marc Talbot Sophie Tison
Expressiveness of a Spatial Logic for Trees (LICS 2005) More Information...
Michele Boreale
- Paper: Michele Boreale Davide Sangiorgi
Bisimulation in Name-Passing Calculi without Matching (LICS 1998) More Information... - Paper: Michele Boreale Rocco de Nicola Rosario Pugliese
Proof Techniques for Cryptographic Processes (LICS 1999) More Information...
Bose, S.
- Paper: Bose, S. Clarke, E.M. Long, D.E. Michaylov, S.
PARTHENON: a parallel theorem prover for nonHorn clauses (LICS 1989) More Information...
Ahmed Bouajjani
- Paper: Ahmed Bouajjani Rachid Echahed Joseph Sifakis
On model checking for real-time properties with durations (LICS 1993) More Information... - Paper: Ahmed Bouajjani Rachid Echahed Peter Habermehl
On the Verification Problem of Nonregular Properties for Nonregular Processes (LICS 1995) More Information... - Paper: Eugene Asarin Ahmed Bouajjani
Perturbed Turing Machines and Hybrid Systems (LICS 2001) More Information... - Paper: Ahmed Bouajjani Anca Muscholl Tayssir Touili
Permutation Rewriting and Algorithmic Verification (LICS 2001) More Information...
Alexandre Boudet
- Paper: Alexandre Boudet Jean-Pierre Jouannaud Manfred Schmidt-Schauß
Unification in free extensions of Boolean rings and Abelian groups (LICS 1988) More Information...
Boudet, A.
- Paper: Boudet, A. Contejean, E. Devie, H.
A new AC unification algorithm with an algorithm for solving systems of diophantine equations (LICS 1990) More Information...
A. Bouhoula
- Paper: A. Bouhoula J.-P. Jouannaud
Automata-driven automated induction (LICS 1997) More Information...
Val Breazu-Tannen
- Paper: Val Breazu-Tannen Albert R. Meyer
Polymorphism is conservative over simple types (Preliminary Report) (LICS 1987) More Information... - Paper: Val Breazu-Tannen
Combining algebra and higher-order types (LICS 1988) More Information... - Paper: Val Breazu-Tannen Delia Kesner Laurence Puel
A typed pattern calculus (LICS 1993) More Information...
Breazu-Tannen, V.
- Paper: Breazu-Tannen, V. Coquand, T. Gunter, C.A. Scedrov, A.
Inheritance and explicit coercion (LICS 1989) More Information...
Antonio Brogi
- Paper: Antonio Brogi Franco Turini
Semantics of meta-logic in an algebra of programs (LICS 1994) More Information...
Stephen D. Brookes
- Paper: Stephen D. Brookes
A Semantically Based Proof System for Partial Correctness and Deadlock in CSP (LICS 1986) More Information... - Paper: Stephen D. Brookes
The Essence of Parallel Algol (LICS 1996) More Information...
Stephen Brookes
- Paper: Stephen Brookes
Full abstraction for a shared variable parallel language (LICS 1993) More Information...
Brown, C.
- Paper: Brown, C. Gurr, D.
A categorical linear framework for Petri nets (LICS 1990) More Information...
Carolyn Brown
- Paper: Carolyn Brown Graham Hutton
Categories, allegories and circuit design (LICS 1994) More Information...
Michael C. Browne
- Paper: Michael C. Browne
An Improved Algorithm for the Automatic Verification of Finite State Systems Using Temporal Logic (LICS 1986) More Information...
Kim B. Bruce
- 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...
Roberto Bruni
- Invited Talk: Roberto Bruni Ugo Montanari
Cartesian Closed Double Categories, Their Lambda-Notation, and the Pi-Calculus (LICS 1999) More Information...
Glenn Bruns
- Paper: Glenn Bruns Patrice Godefroid
Temporal Logic Query Checking (LICS 2001) More Information...
Randal E. Bryant
- Paper: Sanjit A. Seshia Randal E. Bryant
Deciding Quantifier-Free Presburger Formulas Using Parameterized Solution Bounds (LICS 2004) More Information...
Antonio Bucciarelli
- Paper: Antonio Bucciarelli Thomas Ehrhard
Sequentiality and strong stability (LICS 1991) More Information... - Paper: Antonio Bucciarelli Silvia de Lorenzis Adolfo Piperno Ivano Salvo
Some Computational Properties of Intersection Types (LICS 1999) More Information... - Paper: Antonio Bucciarelli Antonino Salibra
The Sensible Graph Theories of Lambda Calculus (LICS 2004) More Information...
Andrei A. Bulatov
- Paper: Andrei A. Bulatov
Tractable conservative Constraint Satisfaction Problems (LICS 2003) More Information... - Paper: Andrei A. Bulatov
A Graph of a Relational Structure and Constraint Satisfaction Problems (LICS 2004) More Information...
Burch, J.R.
- Paper: Burch, J.R. Clarke, E.M. McMillan, K.L. Dill, D.L. Hwang, L.J.
Symbolic model checking: 10 states and beyond (LICS 1990) More Information...
Joshua Buresh-Oppenheim
- Paper: Joshua Buresh-Oppenheim Toniann Pitassi
The Complexity of Resolution Refinements (LICS 2003) More Information...
Rod Burstall
- Invited Talk: Rod Burstall
Terms, proofs and refinement (LICS 1994) More Information...
Samuel R. Buss
- Paper: Maria Luisa Bonet Bonet Samuel R. Buss
On the deduction rule and the number of proof lines (LICS 1991) More Information... - Paper: Samuel R. Buss Bruce Kapron
Resource-Bounded Continuity and Sequentiality for Type-Two Functionals (LICS 2000) More Information...
C. Böhm
- Paper: C. Böhm E. Tronci
X-Separability and Left-Invertibility in lambda-calculus (LICS 1987) More Information...
Corrado Böhm
- Paper: Corrado Böhm Adolfo Piperno
Characterizing X-separability and one-side invertibility in λ-β-Θ-calculus (LICS 1988) More Information...