Abstract is missing.
- A Complete Proof Systems for QPTLYonit Kesten, Amir Pnueli. 2-12
- Completeness of Kozen s Axiomatisation of the Propositional mu-CalculusIgor Walukiewicz. 14-24
- Once and For AllOrna Kupferman, Amir Pnueli. 25-35
- Complete Proof Systems for First Order Interval Temporal LogicBruno Dutertre. 36-43
- The Infinitary Logic of Sparse Random GraphsJames F. Lynch, Jerzy Tyszkiewicz. 46-53
- Generalized Quantifiers and 0-1 LawsAnuj Dawar, Erich Grädel. 54-64
- Relativized Logspace and Generalized Quantifiers over Finite StructuresGeorg Gottlob. 65-78
- First-order Queries on Finite Structures over the RealsJan Paredaens, Jan Van den Bussche, Dirk Van Gucht. 79-87
- Model-Checking of Causality PropertiesRajeev Alur, Doron Peled, Wojciech Penczek. 90-100
- On the Complexity of Modular Model CheckingMoshe Y. Vardi. 101-111
- Timing Behavior Analysis for Real-Time SystemsFarn Wang. 112-122
- On the Verification Problem of Nonregular Properties for Nonregular ProcessesAhmed Bouajjani, Rachid Echahed, Peter Habermehl. 123-133
- The Semantic Challenge of Verilog HDLMichael J. C. Gordon. 136-145
- Uniform Proofs and Disjunctive Logic Programming (Extended Abstract)Gopalan Nadathur, Donald W. Loveland. 148-155
- Structural Cut EliminationFrank Pfenning. 156-166
- Paramodulation without DuplicationChristopher Lynch. 167-177
- Complexity of Normal Default Logic and Related Modes of Nonmonotonic ReasoningV. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel. 178-185
- Control StructuresAlex Mifsud, Robin Milner, A. John Power. 188-198
- Configuration StructuresRob J. van Glabbeek, Gordon D. Plotkin. 199-209
- A Typed Calculus of Synchronous ProcessesSimon J. Gay, Rajagopal Nagarajan. 210-220
- Modal mu-Types for ProcessesMarino Miculan, Fabio Gadducci. 221-231
- Games and Full Abstraction for the Lazy lambda-CalculusSamson Abramsky, Guy McCusker. 234-243
- Domain Theory in Stochastic ProcessesAbbas Edalat. 244-254
- A Fully Abstract Semantics for a Concurrent Functional Language with Monadic TypesAlan Jeffrey. 255-264
- Experience with Type Theory as a Foundation for Computer ScienceRobert L. Constable. 266-279
- Equality between Functionals in the Presence of CoproductsDaniel J. Dougherty, Ramesh Subrahmanyam. 282-291
- A Logic of Subtyping (Extended Abstract)Giuseppe Longo, Kathleen Milsted, Sergei Soloviev. 292-299
- Normalization and Extensionality (Extended Abstract)Adolfo Piperno. 300-310
- New Notions of Reduction and Non-Semantic Proofs of beta-Strong Normalization in Typed lambda-CalculiA. J. Kfoury, J. B. Wells. 311-321
- Finitely Monotone PropertiesAlexei P. Stolboushkin. 324-330
- Tree Canonization and Transitive ClosureKousha Etessami, Neil Immerman. 331-341
- Ptime Canonization for Two Variables with CountingMartin Otto. 342-352
- When Do Fixed Point Logics Capture Complexity Classes?Anil Seth. 353-363
- Higher-Order Unification via Explicit Substitutions (Extended Abstract)Gilles Dowek, Thérèse Hardin, Claude Kirchner. 366-374
- Orderings, AC-Theories and Symbolic Constraint Solving (Extended Abstract)Hubert Comon, Robert Nieuwenhuis, Albert Rubio. 375-385
- Efficient On-the-Fly Model Checking for CTL*Girish Bhat, Rance Cleaveland, Orna Grumberg. 388-397
- Partial Model Checking (Extended Abstract)Henrik Reif Andersen. 398-407
- Hardware Verification, Boolean Logic Programming, Boolean Functional ProgrammingEnrico Tronci. 408-418
- Compositionality via Cut-Elimination: Hennessy-Milner Logic for an Arbitrary GSOSAlex K. Simpson. 420-430
- Compositional Testing Preorders for Probabilistic ProcessesBengt Jonsson, Wang Yi. 431-441
- The Stone Gamut: A Coordinatization of MathematicsVaughan R. Pratt. 444-454
- Logically Presented DomainsErik Palmgren, Viggo Stoltenberg-Hansen. 455-463
- Games Semantics for Full Propositional Linear LogicFrançois Lamarche. 464-473
- Decision Problems for Second-Order Linear LogicPatrick Lincoln, Andre Scedrov, Natarajan Shankar. 476-485
- The Complexity of Neutrals in Linear LogicMax I. Kanovich. 486-495
- Decidability of Linear Affine LogicAlexey P. Kopylov. 496-504
- Origins and Metamorphoses of the Trinity: Logic, Nets, AutomataBoris A. Trakhtenbrot. 506-507
- Sequentiality, Second Order Monadic Logic and Tree AutomataHubert Comon. 508-517