The Community for Technology Leaders
RSS Icon
Subscribe
Logic in Computer Science, Symposium on (1997)
Warsaw, POLAND
June 29, 1997 to July 2, 1997
ISBN: 0-8186-7925-5
TABLE OF CONTENTS
Reviewers (PDF)
pp. xiii
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
Roberto Di Cosmo , LIENS-DMI LRI (CNRS URA 410)
Delia Kesner , LIENS-DMI LRI (CNRS URA 410)
pp. 35
Linear Logic & Game Semantics: Chair: Pat Lincoln
Max Kanovich , Russian State University for the Humanities
Takayasu Ito , Tohoku University
pp. 48
James Laird , University of Edinburgh
pp. 58
P. Baillot , CNRS, Marseille, France
V. Danos , CNRS, Marseille, France
T. Ehrhard , CNRS, Marseille, France
L. Regnier , CNRS, Marseille, France
pp. 68
Dominic James Doran Hughes , Oxford University Computing Laboratory
pp. 76
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
Michael Huth , Kansas State University
Marta Kwiatkowska , University of Birmingham
pp. 111
Concurrency: Chair: Matthew Hennessy
Naoki Kobayashi , Department of Information Science, University of Tokyo
pp. 128
Julian Rathke , University of Sussex
pp. 140
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
P.S. Thiagarajan , SPIC Mathematical Institute
I. Walukiewicz , Institute of Informatics, Warsaw University
pp. 183
Dexter Kozen , Cornell University
pp. 195
Finite Model Theory: Chair: Anuj Dawar
Leonid Libkin , Bell Laboratories
pp. 204
Martin Grohe , Albert-Ludwigs-Universitaet Freiburg
pp. 216
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
Peter Potts , Imperial College
Abbas Edalat , Imperial College
Martin Escardo , Imperial College
pp. 248
Jon G. Riecke , Bell Laboratories
Anders Sandholm , Aarhus University
pp. 258
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
Sergei Vorobyov , Max-Planck-Institut fuer Informatik
pp. 294
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
Semantics & Domain Theory II: Chair: Pierre-Louis Curien
Martin Hofmann , TH Darmstadt, FB
Thomas Streicher , TH Darmstadt, FB
pp. 387
Mariangiola Dezani-Ciancaglini , University of Torino
Jerzy Tiuryn , University of Warsaw
Pawel Urzyczyn: , University of Warsaw
pp. 396
Unification and Higher-Order Logic: Chair: Amy Felty
Jean Goubault-Larrecq , G.I.E. Dyade
pp. 410
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
Raymond McDowell , University of Pennsylvania
Dale Miller , University of Pennsylvania
pp. 434
Author Index (PDF)
pp. 447
7 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool