• L
  • LICS
  • 1997
  • 12th Annual IEEE Symposium on Logic in Computer Science (LICS'97)
Advanced Search 
12th Annual IEEE Symposium on Logic in Computer Science (LICS'97)
Warsaw, POLAND
June 29-July 02
ISBN: 0-8186-7925-5
Table of Contents
Rewriting & Deduction: Chair: Claude Kirchner
A. Bouhoula, Comput. Sci. Lab., SRI Int., Menlo Park, CA, USA
J.-P. Jouannaud, Comput. Sci. Lab., SRI Int., Menlo Park, CA, USA
pp. 14
Hubert Comon, CNRS and LSV, Ecole Normale Superieure de Cachan
Florent Jacquemard, MPI Saarbrucken
pp. 26
Linear Logic & Game Semantics: Chair: Pat Lincoln
P. Baillot, CNRS, Marseille, France
V. Danos, CNRS, Marseille, France
T. Ehrhard, CNRS, Marseille, France
L. Regnier, CNRS, Marseille, France
pp. 68
Model Checking: Chair: Ken McMillan
Henrik Reif Andersen, Technical University of Denmark
Henrik Hulgaard, Technical University of Denmark
pp. 88
S. Dziembowski, Inst. of Inf., Warsaw Univ., Poland
M. Jurdzinski, Inst. of Inf., Warsaw Univ., Poland
I. Walukiewicz, Inst. of Inf., Warsaw Univ., Poland
pp. 99
Concurrency: Chair: Matthew Hennessy
Naoki Kobayashi, Department of Information Science, University of Tokyo
pp. 128
Richard Blute, University of Ottawa
Josee Desharnais, McGill University
Abbas Edalat, Imperial College of Science
Prakash Panangaden, Aarhus University
pp. 149
Temporal Logic & Automata: Chair: Colin Stirling
E. Asarin, Inst. for Inf. Transmission Problems, Moscow, Russia
P. Caspi, Inst. for Inf. Transmission Problems, Moscow, Russia
O. Maler, Inst. for Inf. Transmission Problems, Moscow, Russia
pp. 160
Finite Model Theory: Chair: Anuj Dawar
Kousha Etessami, University of Aarhus
Moshe Y. Vardi, Rice University
Thomas Wilke, Institut fur Informatik und Prakt. Math Christian-Albrechts-Universitat zu Kiel
pp. 228
Semantics & Domain Theory I: Chair: Stephen Brookes
Marcelo Fiore, Laboratory for Foundations of Computer Science University of Edinburgh
Gordon Plotkin, Laboratory for Foundations of Computer Science University of Edinburgh
John Power, Laboratory for Foundations of Computer Science University of Edinburgh
pp. 268
Daniele Turi, Laboratory for Foundations of Computer Science University of Edinburgh
Gordon Plotkin, Laboratory for Foundations of Computer Science University of Edinburgh
pp. 280
Decidability & Complexity Theory: Chair: Jan Krajicek
Erich Graedel, RWTH Mathematische Grundlagen der Informatik
Martin Otto, RWTH Mathematische Grundlagen der Informatik
Eric Rosen, RWTH Mathematische Grundlagen der Informatik
pp. 306
Leszek Pacholski, University of Wroclaw
Wieslaw Szwast, Institute of Mathematics University of Opole
Lidia Tendera, Institute of Mathematics University of Opole
pp. 318
Guo-Qiang Zhang, University of Georgia
William C. Rounds, Artificial Intelligence Laboratory University of Michigan
pp. 328
Types and Constraints: Chair: Jens Palsberg
F. Henglein, Dept. of Comput. Sci., Copenhagen Univ., Denmark
J. Rehof, Dept. of Comput. Sci., Copenhagen Univ., Denmark
pp. 352
W. Charatonik, Max-Planck-Inst. fur Inf., Saarbrucken, Germany
A. Podelski, Max-Planck-Inst. fur Inf., Saarbrucken, Germany
pp. 362
Tutorial: Chair: Claude Kirchner
Applications of Tree Automata in Rewriting and Lambda Calculus
Semantics & Domain Theory II: Chair: Pierre-Louis Curien
Unification and Higher-Order Logic: Chair: Amy Felty
I. Cervesato, Dept. of Comput. Sci., Carnegie Mellon Univ., Pittsburgh, PA, USA
F. Pfenning, Dept. of Comput. Sci., Carnegie Mellon Univ., Pittsburgh, PA, USA
pp. 422
Usage of this product signifies your acceptance of the Terms of Use.