The Community for Technology Leaders
Logic in Computer Science, Symposium on (1997)
Warsaw, POLAND
June 29, 1997 to July 2, 1997
ISSN: 1043-6871
ISBN: 0-8186-7925-5
TABLE OF CONTENTS

Reviewers (PDF)

pp. xiii
Rewriting & Deduction: Chair: Claude Kirchner

Automata-driven automated induction (Abstract)

J.-P. Jouannaud , Comput. Sci. Lab., SRI Int., Menlo Park, CA, USA
A. Bouhoula , Comput. Sci. Lab., SRI Int., Menlo Park, CA, USA
pp. 14

Ground Reducibility is EXPTIME-complete (Abstract)

Florent Jacquemard , MPI Saarbrucken
Hubert Comon , CNRS and LSV, Ecole Normale Superieure de Cachan
pp. 26

Strong Normalization of Explicit Substitutions via Cut Elimination in Proof Nets (Abstract)

Delia Kesner , LIENS-DMI LRI (CNRS URA 410)
Roberto Di Cosmo , LIENS-DMI LRI (CNRS URA 410)
pp. 35
Linear Logic & Game Semantics: Chair: Pat Lincoln

Temporal Linear Logic Specifications for Concurrent Processes (Abstract)

Takayasu Ito , Tohoku University
Max Kanovich , Russian State University for the Humanities
pp. 48

Believe it or not, AJM's games model is a model of classical linear logic (Abstract)

L. Regnier , CNRS, Marseille, France
P. Baillot , CNRS, Marseille, France
V. Danos , CNRS, Marseille, France
T. Ehrhard , CNRS, Marseille, France
pp. 68

Games and Definability for System F (Abstract)

Dominic James Doran Hughes , Oxford University Computing Laboratory
pp. 76
Model Checking: Chair: Ken McMillan

Boolean Expression Diagrams (Abstract)

Henrik Reif Andersen , Technical University of Denmark
Henrik Hulgaard , Technical University of Denmark
pp. 88

How much memory is needed to win infinite games? (Abstract)

M. Jurdzinski , Inst. of Inf., Warsaw Univ., Poland
S. Dziembowski , Inst. of Inf., Warsaw Univ., Poland
I. Walukiewicz , Inst. of Inf., Warsaw Univ., Poland
pp. 99

Quantitative Analysis and Model Checking (Abstract)

Michael Huth , Kansas State University
Marta Kwiatkowska , University of Birmingham
pp. 111
Concurrency: Chair: Matthew Hennessy

A Partially Deadlock-free Typed Process Calculus (Abstract)

Naoki Kobayashi , Department of Information Science, University of Tokyo
pp. 128

Bisimulation for Labelled Markov Processes (Abstract)

Abbas Edalat , Imperial College of Science
Prakash Panangaden , Aarhus University
Josee Desharnais , McGill University
Richard Blute , University of Ottawa
pp. 149
Temporal Logic & Automata: Chair: Colin Stirling

A Kleene theorem for timed automata (Abstract)

P. Caspi , Inst. for Inf. Transmission Problems, Moscow, Russia
E. Asarin , Inst. for Inf. Transmission Problems, Moscow, Russia
O. Maler , Inst. for Inf. Transmission Problems, Moscow, Russia
pp. 160

An Exprssively Complete Linear Time Temporal Logic for Mazurkiewicz Traces. (Abstract)

I. Walukiewicz , Institute of Informatics, Warsaw University
P.S. Thiagarajan , SPIC Mathematical Institute
pp. 183
Finite Model Theory: Chair: Anuj Dawar

Large finite structures with few L^k-types (Abstract)

Martin Grohe , Albert-Ludwigs-Universitaet Freiburg
pp. 216

First-Order Logic with Two Variables and Unary Temporal (Abstract)

Kousha Etessami , University of Aarhus
Thomas Wilke , Institut fur Informatik und Prakt. Math Christian-Albrechts-Universitat zu Kiel
Moshe Y. Vardi , Rice University
pp. 228
Semantics & Domain Theory I: Chair: Stephen Brookes

Semantics of Exact Real Arithmetic (Abstract)

Martin Escardo , Imperial College
Peter Potts , Imperial College
Abbas Edalat , Imperial College
pp. 248

A Relational Account of Call-by-Value Sequentially (Abstract)

Jon G. Riecke , Bell Laboratories
Anders Sandholm , Aarhus University
pp. 258

Complete Cuboidal Sets in Axiomatic Domain Theory (Abstract)

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

Towards a Mathematical Operational Semantics (Abstract)

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

The "Hardest'' Natural Decidable Theory (Abstract)

Sergei Vorobyov , Max-Planck-Institut fuer Informatik
pp. 294

Two-variable logic with counting is decidable (Abstract)

Eric Rosen , RWTH Mathematische Grundlagen der Informatik
Erich Graedel , RWTH Mathematische Grundlagen der Informatik
Martin Otto , RWTH Mathematische Grundlagen der Informatik
pp. 306

Complexity of Two-Variable Logic with Counting (Abstract)

Lidia Tendera , Institute of Mathematics University of Opole
Leszek Pacholski , University of Wroclaw
Wieslaw Szwast , Institute of Mathematics University of Opole
pp. 318

Complexity of Power Default Reasoning (Abstract)

William C. Rounds , Artificial Intelligence Laboratory University of Michigan
Guo-Qiang Zhang , University of Georgia
pp. 328
Types and Constraints: Chair: Jens Palsberg

The complexity of subtype entailment for simple types (Abstract)

J. Rehof , Dept. of Comput. Sci., Copenhagen Univ., Denmark
F. Henglein , Dept. of Comput. Sci., Copenhagen Univ., Denmark
pp. 352

Set constraints with intersection (Abstract)

A. Podelski , Max-Planck-Inst. fur Inf., Saarbrucken, Germany
W. Charatonik , Max-Planck-Inst. fur Inf., Saarbrucken, Germany
pp. 362
Tutorial: Chair: Claude Kirchner
Semantics & Domain Theory II: Chair: Pierre-Louis Curien

Discrimination by Parallel Observers (Abstract)

Jerzy Tiuryn , University of Warsaw
Pawel Urzyczyn: , University of Warsaw
Mariangiola Dezani-Ciancaglini , University of Torino
pp. 396
Unification and Higher-Order Logic: Chair: Amy Felty

Linear higher-order pre-unification (Abstract)

F. Pfenning , Dept. of Comput. Sci., Carnegie Mellon Univ., Pittsburgh, PA, USA
I. Cervesato , Dept. of Comput. Sci., Carnegie Mellon Univ., Pittsburgh, PA, USA
pp. 422

A Logic for Reasoning with Higher-Order Abstract Syntax (Abstract)

Dale Miller , University of Pennsylvania
Raymond McDowell , University of Pennsylvania
pp. 434

Author Index (PDF)

pp. 447
104 ms
(Ver )