5. LICS 1990:
Philadelphia, Pennsylvania, USA
Proceedings of the Fifth Annual Symposium on Logic in Computer Science
(LICS '90), Philadelphia, Pennsylvania, USA, June, 1990.
IEEE Computer Society
- A. J. Kfoury, Jerzy Tiuryn:
Type Reconstruction in Finite-Rank Fragments of the Polymorphic lambda-Calculus (Extended Summary).
2-11 BibTeX
- Edmund Robinson, Giuseppe Rosolini:
Polymorphism, Set Theory, and Call-by-Value.
12-18 BibTeX
- Manfred Droste, Rüdiger Göbel:
Universal Domains in the Theory of Denotational Semantics of Programming Languages.
19-34 BibTeX
- Achim Jung:
The Classification of Continuous Domains (Extended Abstract).
35-40 BibTeX
- Nevin Heintze, Joxan Jaffar:
A Decision Procedure for a Class of Set Constraints (Extended Abstract).
42-51 BibTeX
- Jean-Louis Lassez, Ken McAloon:
A Constraint Sequent Calculus.
52-61 BibTeX
- Hubert Comon:
Solving Inequations in Term Algebras (Extended Abstract).
62-69 BibTeX
- Ron van der Meyden:
The Dynamic Logic of Permission.
72-78 BibTeX
- V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel:
A Theory of Nonmonotonic Rule Systems.
79-94 BibTeX
- Stuart F. Allen, Robert L. Constable, Douglas J. Howe, William E. Aitken:
The Semantics of Reflected Proof.
95-105 BibTeX
- Kim Guldstrand Larsen, Liu Xinxin:
Equation Solving Using Modal Transition Systems.
108-117 BibTeX
- Rob J. van Glabbeek, Scott A. Smolka, Bernhard Steffen, Chris M. N. Tofts:
Reactive, Generative, and Stratified Models of Probabilistic Processes.
130-141 BibTeX
- Faron Moller:
The Nonexistence of Finite Axiomatisations for CCS Congruences.
142-153 BibTeX
- Phokion G. Kolaitis, Moshe Y. Vardi:
0-1 Laws for Infinitary Logics (Preliminary Report).
156-167 BibTeX
- Phokion G. Kolaitis:
Implicit Definability on Finite Structures and Unambiguous Computations (Preliminary Report).
168-180 BibTeX
- Peter Clote:
ALOGTIME and a Conjecture of S. A. Cook (Extended Abstract).
181-189 BibTeX
- Bruno Courcelle:
On the Expression of Monadic Second-Order Graph Properties Without Quantifications Over Sets of Edges (Extended Abstract).
190-196 BibTeX
- Vijay Gehlot, Carl A. Gunter:
Normal Process Representatives.
200-207 BibTeX
- Carolyn Brown, Doug Gurr:
A Categorical Linear Framework for Petri Nets.
208-218 BibTeX
- Serenella Cerrito:
A Linear Semantics for Allowed Logic Programs.
219-227 BibTeX
- R. C. Sekar, I. V. Ramakrishnan:
Programming in Equational Logic: Beyond Strong Sequentiality.
230-241 BibTeX
- Max Dauchet, Sophie Tison:
The Theory of Ground Rewrite Systems is Decidable.
242-248 BibTeX
- Pierre Lescanne:
Well Rewrite Orderings.
249-256 BibTeX
- Chetan R. Murthy, James R. Russell:
A Constructive Proof of Higman's Lemma.
257-267 BibTeX
- Claude Kirchner, Francis Klay:
Syntactic Theories and Unification.
270-277 BibTeX
- Tobias Nipkow:
Proof Transformations for Equational Theories.
278-288 BibTeX
- Alexandre Boudet, Evelyne Contejean, Hervé Devie:
A New AC Unification Algorithm with an Algorithm for Solving Systems of Diophantine Equations.
289-299 BibTeX
- Jochen Dörre, William C. Rounds:
On Subsumption and Semiunification in Feature Algebras.
300-310 BibTeX
- Stavros S. Cosmadakis, Albert R. Meyer, Jon G. Riecke:
Completeness for typed lazy inequalities.
312-320 BibTeX
- Mitchell Wand, Zheng-Yu Wang:
Conditional Lambda-Theories and the Verification of Static Properties of Programs.
321-332 BibTeX
- Juan C. Guzmán, Paul Hudak:
Single-Threaded Polymorphic Lambda Calculus.
333-343 BibTeX
- Peter J. Freyd, P. Mulry, Giuseppe Rosolini, Dana S. Scott:
Extensional PERs.
346-354 BibTeX
- Martín Abadi, Gordon D. Plotkin:
A Per Model of Polymorphism and Recursive Types.
355-365 BibTeX
- Wesley Phoa:
Effective Domains and Intrinsic Structure.
366-377 BibTeX
- Harry R. Lewis:
A Logic of Concrete Time Intervals (Extended Abstract).
380-389 BibTeX
- Rajeev Alur, Thomas A. Henzinger:
Real-time Logics: Complexity and Expressiveness.
390-401 BibTeX
- Eyal Harel, Orna Lichtenstein, Amir Pnueli:
Explicit Clock Temporal Logic.
402-413 BibTeX
- Rajeev Alur, Costas Courcoubetis, David L. Dill:
Model-Checking for Real-Time Systems.
414-425 BibTeX
- Jerry R. Burch, Edmund M. Clarke, Kenneth L. McMillan, David L. Dill, L. J. Hwang:
Symbolic Model Checking: 10^20 States and Beyond.
428-439 BibTeX
- Rance Cleaveland, Bernhard Steffen:
When is ``Partial'' Adequate? A Logic-Based Proof Technique Using Partial Specifications.
440-449 BibTeX
- Kenneth J. Goldman, Nancy A. Lynch:
Modelling Shared State in a Shared Action Model.
450-463 BibTeX
- E. Allen Emerson, Michael Evangelist, Jai Srinivasan:
On the Limits of Efficient Temporal Decidability (Extended Abstract).
464-475 BibTeX
- David Harel, Roni Rosner, Moshe Y. Vardi:
On the Power of Bounded Concurrency~III: Reasoning About Programs (Preliminary Report).
478-488 BibTeX
- Roy L. Crole, Andrew M. Pitts:
New Foundations for Fixpoint Computations.
489-497 BibTeX
- Peter J. Freyd:
Recursive Types Reduced to Inductive Types.
498-507 BibTeX
Copyright © Sat May 16 23:28:46 2009
by Michael Ley (ley@uni-trier.de)
