17. LICS 2002:
Copenhagen, Denmark FLoC Joint Invited Lecture
export record as
dblp key:
Session 1
export record as
dblp key:
Session 2
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Session 3
export record as
dblp key:
John C. Reynolds :
Separation Logic: A Logic for Shared Mutable Data Structures.
55-74
export record as
dblp key:
Session 4
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Session 5
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Session 6
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Catalin Dima :
Computing Reachability Relations in Timed Automata.
177-
Session 7
export record as
dblp key:
export record as
dblp key:
Session 8
export record as
dblp key:
export record as
dblp key:
Jean-Marie Le Bars :
The 0-1 law fails for frame satisfiability of propositional modal logic.
225-234
export record as
dblp key:
Session 9
export record as
dblp key:
C.-H. Luke Ong :
Observational Equivalence of 3rd-Order Idealized Algol is Decidable.
245-256
export record as
dblp key:
export record as
dblp key:
Session 10
export record as
dblp key:
export record as
dblp key:
Alex K. Simpson :
Computational Adequacy for Recursive Types in Models of Intuitionistic Set Theory.
287-298
export record as
dblp key:
Session 11
export record as
dblp key:
Stephen A. Cook :
Complexity Classes, Propositional Proof Systems, and Formal Theories.
311
export record as
dblp key:
Session 12
export record as
dblp key:
Albert Atserias :
Unsatisfiable Random Formulas Are Hard to Certify.
325-334
export record as
dblp key:
export record as
dblp key:
Daniel Leivant :
Calibrating Computational Feasibility by Abstraction Rank.
345-
Session 14
export record as
dblp key:
export record as
dblp key:
Martin Otto :
Modal and Guarded Characterisation Theorems over Finite Transition Systems.
371-
Session 15
export record as
dblp key:
conf/lics/LaroussinieMS02 export record as
dblp key:
export record as
dblp key:
Stephan Kreutzer :
Expressive Equivalence of Least and Inflationary Fixed-Point Logic.
403-
Session 16
export record as
dblp key:
conf/lics/DesharnaisJGP02 export record as
dblp key:
export record as
dblp key:
Session 17
export record as
dblp key:
Ashish Tiwari :
Deciding Confluence of Certain Term Rewriting Systems in Polynomial Time.
447-
data released under the ODC-BY 1.0 license
