7. LICS 1992:
Santa Cruz, California, USA
Proceedings of the Seventh Annual Symposium on Logic in Computer Science
(LICS '92), Santa Cruz, California, USA, June, 1992.
IEEE Computer Society
- Gilles Dowek:
Third Order Matching is Decidable.
2-10 BibTeX
- Deepak Kapur, Paliath Narendran:
Double-exponential Complexity of Computing a Complete Set of AC-Unifiers.
11-21 BibTeX
- Adam J. Grove, Joseph Y. Halpern, Daphne Koller:
Random Worlds and Maximum Entropy.
22-33 BibTeX
- Grigori Schwarz:
Minimal Model Semantics for Nonmonotonic Modal Logics.
34-43 BibTeX
- Phokion G. Kolaitis, Moshe Y. Vardi:
Fixpoint Logic vs. Infinitary Logic in Finite-Model Theory.
46-57 BibTeX
- Erich Grädel, Gregory L. McColm:
Deterministic vs. Nondeterministic Transitive Closure Logic.
58-63 BibTeX
- Alexei P. Stolboushkin:
Axiomatizable Classes of Finite Models and Definability of Linear Order.
64-70 BibTeX
- Georges Gonthier, Jean-Jacques Lévy, Paul-André Melliès:
An abstract standardisation theorem.
72-81 BibTeX
- Hiroshi Nakano:
A Constructive Formalization of the Catch and Throw Mechanism.
82-89 BibTeX
- Chetan R. Murthy:
A Computational Analysis of Girard's Translation and LC.
90-101 BibTeX
- Davide Sangiorgi:
The Lazy Lambda Calculus in a Concurrency Scenario (Extended Abstract).
102-109 BibTeX
- Jeannette M. Wing:
Specification in Software Development.
112 BibTeX
- Luca Aceto, Bard Bloom, Frits W. Vaandrager:
Turning SOS Rules into Equations.
113-124 BibTeX
- Eugene W. Stark:
A Calculus of Dataflow Networks (Extended Abstract).
125-136 BibTeX
- Frank S. de Boer, Jan Willem Klop, Catuscia Palamidessi:
Asynchronous Communication in Process Algebra.
137-147 BibTeX
- Irek Ulidowski:
Equivalences on Observable Processes.
148-159 BibTeX
- Jean-Pierre Talpin, Pierre Jouvelot:
The Type and Effect Discipline.
162-173 BibTeX
- Thomas P. Jensen:
Disjunctive Strictness Analysis.
174-185 BibTeX
- Ian A. Mason, Carolyn L. Talcott:
References, Local Variables and Operational Reasoning.
186-197 BibTeX
- Max I. Kanovich:
Horn Programming in Linear Logic Is NP-Complete.
200-210 BibTeX
- Samson Abramsky, Radha Jagadeesan:
New Foundations for the Geometry of Interaction.
211-222 BibTeX
- Georges Gonthier, Martín Abadi, Jean-Jacques Lévy:
Linear Logic Without Boxes.
223-234 BibTeX
- Patrick Lincoln, John C. Mitchell:
Operational aspects of linear lambda calculus.
235-246 BibTeX
- Vaughan R. Pratt:
Origins of the Calculus of Binary Relations.
248-254 BibTeX
- Hubert Comon, Marianne Haberstrau, Jean-Pierre Jouannaud:
Decidable Problems in Shallow Equational Theories (Extended Abstract).
255-265 BibTeX
- Didier Caucal:
Monadic Theory of Term Rewritings.
266-273 BibTeX
- Yoshihito Toyama:
Strong Sequentiality of Left-Linear Overlapping Term Rewriting Systems.
274-284 BibTeX
- Anil Seth:
There is No Recursive Axiomatization for Feasible Functionals of Type~2.
286-295 BibTeX
- Peter Clote:
Cutting Planes and constant depth Frege proofs.
296-307 BibTeX
- Jerzy Tiuryn:
Subtype Inequalities.
308-315 BibTeX
- Nevin Heintze, Joxan Jaffar:
An Engine for Logic Program Analysis.
318-328 BibTeX
- Alexander Aiken, Edward L. Wimmers:
Solving Systems of Set Constraints (Extended Abstract).
329-340 BibTeX
- Vijay A. Saraswat:
The Category of Constraint Systems is Cartesian-Closed.
341-345 BibTeX
- Phokion G. Kolaitis, Jouko A. Väänänen:
Generalized Quantifiers and Pebble Games on Finite Structures.
348-359 BibTeX
- Lauri Hella:
Logical Hierarchies in PTIME.
360-368 BibTeX
- Joseph Y. Halpern, Bruce M. Kapron:
Zero-One Laws for Modal Logic.
369-380 BibTeX
- Nils Klarlund:
Progress Measures, Immediate Determinacy, and a Subset Construction for Tree Automata.
382-393 BibTeX
- Thomas A. Henzinger, Xavier Nicollin, Joseph Sifakis, Sergio Yovine:
Symbolic Model Checking for Real-time Systems.
394-406 BibTeX
- John Hannan, Frank Pfenning:
Compiler Verification in LF.
407-418 BibTeX
- Laurent Fribourg:
Mixing List Recursion and Arithmetic.
419-429 BibTeX
- Pierre-Louis Curien:
Observable Algorithms on Concrete Data Structures.
432-443 BibTeX
- Peter J. Freyd, E. P. Robinson, Giuseppe Rosolini:
Functorial Parametricity.
444-452 BibTeX
- Herman Geuvers:
The Church-Rosser Property for beta-eta-reduction in Typed lambda-Calculi.
453-460 BibTeX
- Ugo de'Liguoro, Adolfo Piperno, Richard Statman:
Retracts in simply typed lambda-beta-eta-calculus.
461-469 BibTeX
Copyright © Sat May 16 23:28:46 2009
by Michael Ley (ley@uni-trier.de)
