10. LICS 1995:
San Diego, California, USA
Proceedings, 10th Annual IEEE Symposium on Logic in Computer Science, San Diego, California, USA, June 26-29, 1995.
IEEE Computer Society 1995, ISBN 0-8186-7050-9
- Yonit Kesten, Amir Pnueli:
A Complete Proof Systems for QPTL.
2-12

- Igor Walukiewicz:
Completeness of Kozen's Axiomatisation of the Propositional mu-Calculus.
14-24

- Orna Kupferman, Amir Pnueli:
Once and For All.
25-35

- Bruno Dutertre:
Complete Proof Systems for First Order Interval Temporal Logic.
36-43

- James F. Lynch, Jerzy Tyszkiewicz:
The Infinitary Logic of Sparse Random Graphs.
46-53

- Anuj Dawar, Erich Grädel:
Generalized Quantifiers and 0-1 Laws.
54-64

- Georg Gottlob:
Relativized Logspace and Generalized Quantifiers over Finite Structures.
65-78

- Jan Paredaens, Jan Van den Bussche, Dirk Van Gucht:
First-order Queries on Finite Structures over the Reals.
79-87

- Rajeev Alur, Doron Peled, Wojciech Penczek:
Model-Checking of Causality Properties.
90-100

- Moshe Y. Vardi:
On the Complexity of Modular Model Checking.
101-111

- Farn Wang:
Timing Behavior Analysis for Real-Time Systems.
112-122

- Ahmed Bouajjani, Rachid Echahed, Peter Habermehl:
On the Verification Problem of Nonregular Properties for Nonregular Processes.
123-133

- Michael J. C. Gordon:
The Semantic Challenge of Verilog HDL.
136-145

- Gopalan Nadathur, Donald W. Loveland:
Uniform Proofs and Disjunctive Logic Programming (Extended Abstract).
148-155

- Frank Pfenning:
Structural Cut Elimination.
156-166

- Christopher Lynch:
Paramodulation without Duplication.
167-177

- V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel:
Complexity of Normal Default Logic and Related Modes of Nonmonotonic Reasoning.
178-185

- Alex Mifsud, Robin Milner, A. John Power:
Control Structures.
188-198

- Rob J. van Glabbeek, Gordon D. Plotkin:
Configuration Structures.
199-209

- Simon J. Gay, Rajagopal Nagarajan:
A Typed Calculus of Synchronous Processes.
210-220

- Marino Miculan, Fabio Gadducci:
Modal mu-Types for Processes.
221-231

- Samson Abramsky, Guy McCusker:
Games and Full Abstraction for the Lazy lambda-Calculus.
234-243

- Abbas Edalat:
Domain Theory in Stochastic Processes.
244-254

- Alan Jeffrey:
A Fully Abstract Semantics for a Concurrent Functional Language with Monadic Types.
255-264

- Robert L. Constable:
Experience with Type Theory as a Foundation for Computer Science.
266-279

- Daniel J. Dougherty, Ramesh Subrahmanyam:
Equality between Functionals in the Presence of Coproducts.
282-291

- Giuseppe Longo, Kathleen Milsted, Sergei Soloviev:
A Logic of Subtyping (Extended Abstract).
292-299

- Adolfo Piperno:
Normalization and Extensionality (Extended Abstract).
300-310

- A. J. Kfoury, J. B. Wells:
New Notions of Reduction and Non-Semantic Proofs of beta-Strong Normalization in Typed lambda-Calculi.
311-321

- Alexei P. Stolboushkin:
Finitely Monotone Properties.
324-330

- Kousha Etessami, Neil Immerman:
Tree Canonization and Transitive Closure.
331-341

- Martin Otto:
Ptime Canonization for Two Variables with Counting.
342-352

- Anil Seth:
When Do Fixed Point Logics Capture Complexity Classes?
353-363

- Gilles Dowek, Thérèse Hardin, Claude Kirchner:
Higher-Order Unification via Explicit Substitutions (Extended Abstract).
366-374

- Hubert Comon, Robert Nieuwenhuis, Albert Rubio:
Orderings, AC-Theories and Symbolic Constraint Solving (Extended Abstract).
375-385

- Girish Bhat, Rance Cleaveland, Orna Grumberg:
Efficient On-the-Fly Model Checking for CTL*.
388-397

- Henrik Reif Andersen:
Partial Model Checking (Extended Abstract).
398-407

- Enrico Tronci:
Hardware Verification, Boolean Logic Programming, Boolean Functional Programming.
408-418

- Alex K. Simpson:
Compositionality via Cut-Elimination: Hennessy-Milner Logic for an Arbitrary GSOS.
420-430

- Bengt Jonsson, Wang Yi:
Compositional Testing Preorders for Probabilistic Processes.
431-441

- Vaughan R. Pratt:
The Stone Gamut: A Coordinatization of Mathematics.
444-454

- Erik Palmgren, Viggo Stoltenberg-Hansen:
Logically Presented Domains.
455-463

- François Lamarche:
Games Semantics for Full Propositional Linear Logic.
464-473

- Patrick Lincoln, Andre Scedrov, Natarajan Shankar:
Decision Problems for Second-Order Linear Logic.
476-485

- Max I. Kanovich:
The Complexity of Neutrals in Linear Logic.
486-495

- Alexey P. Kopylov:
Decidability of Linear Affine Logic.
496-504

- Boris A. Trakhtenbrot:
Origins and Metamorphoses of the Trinity: Logic, Nets, Automata.
506-507

- Hubert Comon:
Sequentiality, Second Order Monadic Logic and Tree Automata.
508-517

Last update Fri May 24 12:35:16 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page