9. LICS 1994:
Paris, France
Proceedings of the Ninth Annual Symposium on Logic in Computer Science
(LICS '94), Paris, France, June, 1994.
IEEE Computer Society, ISBN 0-8186-6310-3
- Rod M. Burstall:
Terms, Proofs, and Refinement (Extended abstract).
2-7 BibTeX
- Yuri Gurevich, Neil Immerman, Saharon Shelah:
McColm's Conjecture.
10-19 BibTeX
- Anuj Dawar, Lauri Hella:
The Expressive Power of Finitely Many Generalized Quantifiers.
20-29 BibTeX
- Martin Otto:
Generalized Quantifiers for Simple Properties.
30-39 BibTeX
- Lauri Hella, Phokion G. Kolaitis, Kerkko Luosto:
How to Define a Linear Order on Finite Models.
40-49 BibTeX
- Rajeev Alur, Thomas A. Henzinger:
Finitary Fairness.
52-61 BibTeX
- Peter Sewell:
Bisimulation is Not Finitely (First Order) Equationally Axiomatisable.
62-70 BibTeX
- Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta:
Foundations of Timed Concurrent Constraint Programming.
71-80 BibTeX
- Alan Jeffrey:
A Fully Abstract Semantics for Concurrent Graph Reduction.
82-91 BibTeX
- Marcelo P. Fiore, Gordon D. Plotkin:
An Axiomatization of Computationally Adequate Domain Theoretic Models of FPC.
92-102 BibTeX
- Loïc Colson, Thomas Ehrhard:
On Strong Stability and Higher-Order Sequentiality.
103-108 BibTeX
- Michael Huth, Achim Jung, Klaus Keimel:
Linear Types, Approximation, and Topology.
110-114 BibTeX
- Abbas Edalat:
Domain Theory and Integration.
115-124 BibTeX
- Edmund M. Clarke:
Automatic Verification of Finite-State Concurrent Systems.
126 BibTeX
- Witold Charatonik, Leszek Pacholski:
Negative Set Constraints with Equality.
128-136 BibTeX
- Kjartan Stefánsson:
Systems of Set Constraints with Negative Constraints are NEXPTIME-Complete.
137-141 BibTeX
- Henrik Reif Andersen, Colin Stirling, Glynn Winskel:
A Compositional Proof System for the Modal mu-Calculus.
144-153 BibTeX
- Shipei Zhang, Oleg Sokolsky, Scott A. Smolka:
On the Parallel Complexity of Model Checking in the Modal Mu-Calculus.
154-163 BibTeX
- Edith Hemaspaandra:
Complexity Transfer for Modal Logic (Extended Abstract).
164-173 BibTeX
- J. B. Wells:
Typability and Type-Checking in the Second-Order lambda-Calculus are Equivalent and Undecidable.
176-185 BibTeX
- Jens Palsberg:
Efficient Inference of Object Types.
186-195 BibTeX
- Adolfo Piperno, Simona Ronchi Della Rocca:
Type Inference and Extensionality.
196-205 BibTeX
- Martin Hofmann, Thomas Streicher:
The Groupoid Model Refutes Uniqueness of Identity Proofs.
208-212 BibTeX
- Matthias Baaz, Christian G. Fermüller, Alexander Leitsch:
A Non-Elementary Speed-Up in Proof Length by Structural Clause Form Transformation.
213-219 BibTeX
- Russell Impagliazzo, Toniann Pitassi, Alasdair Urquhart:
Upper and Lower Bounds for Tree-Like Cutting Planes Proofs.
220-228 BibTeX
- Serge Abiteboul, Christos H. Papadimitriou, Victor Vianu:
The Power of Reflective Relational Machines.
230-240 BibTeX
- J. Antonio Medina, Neil Immerman:
A Syntactic Characterization of NP-Completeness.
241-250 BibTeX
- Robert F. Stärk:
The Declarative Semantics of the Prolog Selection Rule.
252-261 BibTeX
- Antonio Brogi, Franco Turini:
Semantics of Meta-Logic in an Algebra of Programs.
262-270 BibTeX
- Dale Miller:
A Multiple-Conclusion Meta-Logic.
272-281 BibTeX
- Patrick Lincoln, Natarajan Shankar:
Proof Search in First-Order Linear Logic and Other Cut-Free Sequent Calculi.
282-291 BibTeX
- Ralph Loader:
Linear Logic, Totality and Full Completeness.
292-298 BibTeX
- Pawel Urzyczyn:
The Emptiness Problem for Intersection Types.
300-309 BibTeX
- Gordon D. Plotkin, Martín Abadi, Luca Cardelli:
Subtyping and Parametricity.
310-319 BibTeX
- Herman Geuvers, Benjamin Werner:
On the Church-Rosser Property for Expressive Type Systems and its Consequences for their Metatheoretic Study.
320-329 BibTeX
- Martín Abadi, Luca Cardelli:
A Semantics of Object Types.
332-341 BibTeX
- Uday S. Reddy:
Passivity and Independence.
342-352 BibTeX
- Eugenio Moggi:
A General Semantics for Evaluation Logic.
353-362 BibTeX
- E. P. Robinson, Giuseppe Rosolini:
Reflexive Graphs and Parametric Polymorphism.
364-371 BibTeX
- Carolyn Brown, Graham Hutton:
Categories, Allegories and Circuit Design.
372-381 BibTeX
- Leo Bachmair, Harald Ganzinger:
Rewrite Techniques for Transitive Relations.
384-393 BibTeX
- Claude Marché:
Normalised Rewriting and Normalised Completion.
394-403 BibTeX
- Franco Barbanera, Maribel Fernández, Herman Geuvers:
Modularity of Strong Normalization and Confluence in the algebraic-lambda-Cube.
406-415 BibTeX
- Zena M. Ariola, Jan Willem Klop:
Cyclic Lambda Graph Rewriting.
416-425 BibTeX
- Andrea Asperti, Vincent Danos, Cosimo Laneve, Laurent Regnier:
Paths in the lambda-calculus.
426-436 BibTeX
- P. S. Thiagarajan:
A Trace Based Extension of Linear Time Temporal Logic.
438-447 BibTeX
- Ron van der Meyden:
Axioms for Knowledge and Time in Distributed Systems with Perfect Recall.
448-457 BibTeX
- Edward Y. Chang, Zohar Manna, Amir Pnueli:
Compositional Verification of Real-Time Systems.
458-465 BibTeX
- Ofer Arieli, Arnon Avron:
Logical Bilattices and Inconsistent Data.
468-476 BibTeX
- Shai Ben-David, Rachel Ben-Eliyahu:
a modal logic for subjective default reasoning.
477-486 BibTeX
- Mati Pentus:
Language Completeness of the Lambek Calculus.
487-496 BibTeX
- Jean Goubault:
Rigid E-Unifiability is DEXPTIME-Complete.
498-506 BibTeX
- Christian Prehofer:
Higher-Order Narrowing.
507-516 BibTeX
Copyright © Sat May 16 23:28:46 2009
by Michael Ley (ley@uni-trier.de)