The Community for Technology Leaders
Logic in Computer Science, Symposium on (2000)
Santa Barbara, California
June 26, 2000 to June 29, 2000
ISSN: 1043-6871
ISBN: 0-7695-0725-5
TABLE OF CONTENTS
Invited Talk

Logic, Complexity, and Games (Abstract)

Ronald Fagin , IBM Almaden Research Center
pp. 3
Session 1a

A General Notion of Realizability (Abstract)

L. Birkedal , The IT University of Copenhagen
pp. 7

Complete Axioms for Categorical Fixed-Point Operators (Abstract)

Alex Simpson , University of Edinburgh
Gordon Plotkin , University of Edinburgh
pp. 30
Session 1b

The Role of Decidability in First Order Separations over Classes of Finite Structures (Abstract)

Steven Lindell , Haverford College
Scott Weinstein , University of Athens and University of Pennsylvania
pp. 45

Automatic Structures (Abstract)

Achim Blumensath , RWTH Aachen
Erich Grädel , RWTH Aachen
pp. 51

Definability and Compression (Abstract)

Foto Afrati , National Technical University Athens
Michel de Rougemont , Universit? Paris-II and LRI B?timent
Hans Leiß , Universit?t M?nchen
pp. 63
Session 2a

Resource-Bounded Continuity and Sequentiality for Type-Two Functionals (Abstract)

Bruce Kapron , University of Victoria
Samuel R. Buss , University of California at San Diego
pp. 77

A Syntactical Analysis of Non-Size-Increasing Polynomial Time Computation (Abstract)

Klaus Aehlig , Ludwig-Maximilians-Universit?t M?nchen
Helmut Schwichtenberg , Ludwig-Maximilians-Universit?t M?nchen
pp. 84
Session 2b

Approximating Labeled Markov Processes (Abstract)

Prakash Panangaden , McGill University
Vineet Gupta , PurpleYogi.com
Radha Jagadeesan , Loyola University-Lake Shore Campus
Josée Desharnais , McGill University
pp. 95

Precongruence Formats for Decorated Trace Preorders (Abstract)

Rob Van Glabbeek , Stanford University
Bard Bloom , IBM T.J. Watson Research Center
pp. 107
Session 3a

Concurrent Omega-Regular Games (Abstract)

Thomas A. Henzinger , University of California at Berkeley
Luca de Alfaro , University of California at Berkeley
pp. 141
Session 3b

Approximate Pattern Matching is Expressible in Transitive Closure Logic (Abstract)

Kjell Lemström , University of Helsinki
Lauri Hella , University of Helsinki
pp. 157
Invited Talks
Session 4a

Dominator Trees and Fast Verification of Proof Nets (Abstract)

C.-H.L. Ong , Oxford University
A.S. Murawski , Oxford University
pp. 181

Game Semantics and Subtyping (Abstract)

Juliusz Chroboczek , ?cole Normale Sup?rieure
pp. 192

Probabilistic Game Semantics (Abstract)

Russell Harmer , Universit? Paris VII
Vincent Danos , Universit? Paris VII
pp. 204
Session 4b

Back and Forth between Guarded and Modal Logics (Abstract)

Erich Graedel , RWTH Aachen
Colin Hirsch , RWTH Aachen
Martin Otto , University of Wales Swansea
pp. 217

More Past Glories (Abstract)

Mark Reynolds , Murdoch University
pp. 229
Session 5a

A Modality for Recursion (Abstract)

Hiroshi Nakano , Ryukoku University
pp. 255
Session 5b

A Decision Procedure for Term Algebras with Queues (Abstract)

Andrei Voronkov , University of Manchester
Tatiana Rybina , University of Manchester
pp. 279
Invited Talks
Session 6a

Models for Name-Passing Processes: Interleaving and Causal (Abstract)

Gian Luca Cattani , University of Cambridge
Peter Sewell , University of Cambridge
pp. 322

Assigning Types to Processes (Abstract)

Matthew Hennessy , University of Sussex
Nobuko Yoshida , University of Leicester
pp. 334
Session 6b

On First-Order Topological Queries (Abstract)

Luc Segoufin , INRIA
Martin Grohe , Institut fur Mathematische Logik
pp. 349

View-Based Query Processing and Constraint Satisfaction (Abstract)

Diego Calvanese , Universit? di Roma ?La Sapienza?
Maurizio Lenzerini , Universit? di Roma ?La Sapienza?
Giuseppe de Giacomo , Universit? di Roma ?La Sapienza?
Moshe Y. Vardi , Rice University
pp. 361
Session 7a

Imperative Programming with Dependent Types (Abstract)

Hongwei Xi , University of Cincinnati
pp. 375

Efficient and Flexible Matching of Recursive Types (Abstract)

Tian Zhao , Purdue University
Jens Palsberg , Purdue University
pp. 388
Session 7b

Paramodulation with Built-In Abelian Groups (Abstract)

Guillem Godoy , University of Catalonia
Robert Nieuwenhuis , University of Catalonia
pp. 413

Author Index (PDF)

pp. 426
90 ms
(Ver 3.1 (10032016))