12. LICS 1997:
Warsaw, Poland
Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, Warsaw, Poland, June 29 - July 2, 1997.
IEEE Computer Society 1997, ISBN 0-8186-7925-5
Invited Speaker
Luca Cardelli:
A Theory of Objects.
Rewriting & Deduction
Linear Logic & Game Semantics
Model Checking
Invited Speaker
Anita Feferman:
The Saga of Alfred Tarski:
From Warszawa to Berkeley.
Tutorial
David A. McAllester:
Methods of Automated Complexity for Inference Rules.
Concurrency
Temporal Logic & Automata
Finite Model Theory
Invited Speaker
Leszek Pacholski:
Set Constraints.
Semantics & Domain Theory I
Decidability & Complexity Theory
Types and Constraints
Tutorial
Hubert Comon:
Applications of Tree Automata in Rewriting and Lambda Calculus.
Semantics & Domain Theory II
Unification and Higher-Order Logic
Last update Wed May 22 16:08:32 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page