4. LICS 1989:
Pacific Grove, California, USA
Proceedings of the Fourth Annual Symposium on Logic in Computer Science
(LICS '89), Pacific Grove, California, USA, June, 1989.
IEEE Computer Society
- Dana S. Scott:
Domains and Logics (Extended Abstract).
4-5 BibTeX
- Andrew M. Pitts:
Non-trivial Power Types Can't Be Subtypes of Polymorphic Types.
6-13 BibTeX
- Eugenio Moggi:
Computational Lambda-Calculus and Monads.
14-23 BibTeX
- Stavros S. Cosmadakis:
Computing with Recursive Types (Extended Abstract).
24-38 BibTeX
- Daniel Leivant:
Stratified Polymorphism (Extended Summary).
39-47 BibTeX
- Haim Gaifman, Ehud Y. Shapiro:
Proof Theory and Semantics of Logic Programs.
50-62 BibTeX
- Melvin Fitting:
Negation As Refutation.
63-70 BibTeX
- Serge Abiteboul, Victor Vianu:
Fixpoint Extensions of First-Order Logic and Datalog-Like Languages.
71-79 BibTeX
- Soumitra Bose, Edmund M. Clarke, David E. Long, Spiro Michaylov:
PARTHENON: A Parallel Theorem Prover for Non-Horn Clauses.
80-89 BibTeX
- Mitchell Wand:
Type Inference for Record Concatenation and Multiple Inheritance.
92-97 BibTeX
- A. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn:
Computational Consequences and Partial Solutions of a Generalized Unification Problem (Partial Report).
98-105 BibTeX
- Edmund Robinson:
How Complete is PER?
106-111 BibTeX
- Val Tannen, Thierry Coquand, Carl A. Gunter, Andre Scedrov:
Inheritance and Explicit Coercion (Preliminary Report).
112-129 BibTeX
- Martin Davis:
Emil Post's Contributions to Computer Science.
134-136 BibTeX
- Luca Aceto, Matthew Hennessy:
Towards Action-Refinement in Process Algebras.
138-145 BibTeX
- Jay L. Gischer:
A Small Universal Model for System Executions.
146-153 BibTeX
- Yiannis N. Moschovakis:
A Game-Theoretic Modeling of Concurrency.
154-163 BibTeX
- Alexander Moshe Rabinovich, Boris A. Trakhtenbrot:
Nets and Data Flow Interpreters.
164-174 BibTeX
- Pierpaolo Degano, José Meseguer, Ugo Montanari:
Axiomatizing Net Computations and Processes.
175-185 BibTeX
- C. Jones, Gordon D. Plotkin:
A Probabilistic Powerdomain of Evaluations.
186-195 BibTeX
- Douglas J. Howe:
Equality In Lazy Computation Systems.
198-203 BibTeX
- Roel C. de Vrijer:
Extending the Lambda Calculus with Surjective Pairing is Conservative.
204-215 BibTeX
- Martín Abadi, Benjamin C. Pierce, Gordon D. Plotkin:
Faithful Ideal Models for Recursive Polymorphic Types.
216-225 BibTeX
- Robert Harper, Donald Sannella, Andrzej Tarlecki:
Structure and Representation in LF.
226-237 BibTeX
- Vladimir Lifschitz:
The Mathematics of Nonmonotonic Reasoning (Abstract).
242 BibTeX
- Moshe Y. Vardi:
On the Complexity of Epistemic Reasoning.
243-252 BibTeX
- Michael Kifer, Eliezer L. Lozinskii:
RI: A Logic for Reasoning with Inconsistency.
253-262 BibTeX
- Michael W. Mislove, Lawrence S. Moss, Frank J. Oles:
Non-Well-Founded Sets Obtained from Ideal Fixed Points.
263-272 BibTeX
- R. T. P. Fernando:
On Substitutional Recursion Over Non-Well-Founded Sets.
273-282 BibTeX
- Ian A. Mason, Carolyn L. Talcott:
Axiomatizing Operational Equivalence in the Presence of Side Effects.
284-293 BibTeX
- Radha Jagadeesan, Prakash Panangaden, Keshav Pingali:
A Fully Abstract Semantics for a Functional Language with Logic Variables.
294-303 BibTeX
- Frank Pfenning:
Elf: A Language for Logic Definition and Verified Metaprogramming.
313-322 BibTeX
- Alexei P. Stolboushkin:
Some Complexity Bounds for Dynamic Logics.
324-332 BibTeX
- E. Allen Emerson, Charanjit S. Jutla:
On Simultaneously Determinizing and Complementing omega-Automata (Extended Abstract).
333-342 BibTeX
- Robert S. Lubarsky:
mu-Definable Sets of Integers.
343-352 BibTeX
- Edmund M. Clarke, David E. Long, Kenneth L. McMillan:
Compositional Model Checking.
353-362 BibTeX
- Andreas Goerdt:
Characterizing Complexity Classes By Higher Type Primitive Recursive Definitions.
364-374 BibTeX
- Anil Nerode, Jeffrey B. Remmel, Andre Scedrov:
Polynomially Grade Logic I: A Graded Version of System T.
375-385 BibTeX
- Zhaohui Luo:
ECC, an Extended Calculus of Constructions.
386-395 BibTeX
- Aart Middeldorp:
A Sufficient Condition for the Termination of the Direct Sum of Term Rewriting Systems.
396-401 BibTeX
Copyright © Sat May 16 23:28:46 2009
by Michael Ley (ley@uni-trier.de)