On this page:
Invited Speakers
- Davis, M.:
Emil Post's contributions to computer scienceMore Information... - Scott, D.S.:
Domains and logicsMore Information...
Presented Papers
Entries are ordered by surname of first author
- Abadi, M. Pierce, B. Plotkin, G.:
Faithful ideal models for recursive polymorphic typesMore Information... - Abiteboul, S. Vianu, V.:
Fixpoint extensions of first-order logic and datalog-like languages More Information... - Aceto, L. Hennessy, M.:
Towards action-refinement in process algebrasMore Information... - Bose, S. Clarke, E.M. Long, D.E. Michaylov, S.:
PARTHENON: a parallel theorem prover for nonHorn clausesMore Information... - Breazu-Tannen, V. Coquand, T. Gunter, C.A. Scedrov, A.:
Inheritance and explicit coercionMore Information... - Clarke, E.M. Long, D.E. McMillan, K.L.:
Compositional model checkingMore Information... - Cosmadakis, S.S.:
Computing with recursive typesMore Information... - De Vrijer, R.:
Extending the lambda calculus with surjective pairing is conservative More Information... - Degano, P. Meseguer, J. Montanari, U.:
Axiomatizing net computations and processesMore Information... - Emerson, E.A. Jutla, C.S.:
On simultaneously determinizing and complementing ω-automata More Information... - Fernando, R.T.P.:
On substitutional recursion over non-well-founded setsMore Information... - Fitting, M.:
Negation as refutationMore Information... - Gaifman, H. Shapiro, E.:
Proof theory and semantics of logic programsMore Information... - Gischer, J.L.:
A small universal model for system executionsMore Information... - Goerdt, A.:
Characterizing complexity classes by higher type primitive recursive definitions More Information... - Harper, R. Sannella, D. Tarlecki, A.:
Structure and representation in LFMore Information... - Howe, D.J.:
Equality in lazy computation systemsMore Information... - Jagadeesan, R. Panangaden, P. Pingali, K.:
A fully abstract semantics for a functional language with logic variables More Information... - Jones, C. Plotkin, G.D.:
A probabilistic powerdomain of evaluationsMore Information... - Kfoury, A.J. Tiuryn, J. Urzyczyn, P.:
Computational consequences and partial solutions of a generalized unification problem More Information... - Kifer, M. Lozinskii, E.L.:
RI: a logic for reasoning with inconsistencyMore Information... - Leivant, D.:
Stratified polymorphismMore Information... - Lifschitz, V.:
The mathematics of nonmonotonic reasoningMore Information... - Lubarsky, R.S.:
μ-definable sets of integersMore Information... - Luo, Z.:
ECC, an extended calculus of constructionsMore Information... - Mason, I.A. Talcott, C.:
Axiomatizing operational equivalence in the presence of side effects More Information... - Middeldorp, A.:
A sufficient condition for the termination of the direct sum of term rewriting systems More Information... - Mislove, M.W. Moss, L.S. Oles, F.J.:
Non-well-founded sets obtained from ideal fixed pointsMore Information... - Moggi, E.:
Computational lambda-calculus and monadsMore Information... - Moschovakis, Y.N.:
A game-theoretic modeling of concurrencyMore Information... - Mosses, P.D.:
Unified algebras and institutionsMore Information... - Nerode, A. Remmel, J.B. Scedrov, A.:
Polynomially graded logic I. A graded version of system TMore Information... - Pfenning, F.:
Elf: a language for logic definition and verified metaprogramming More Information... - Pitt, A.M.:
Non trivial power types can't be subtypes of polymorphic typesMore Information... - Rabinovich, A. Trakhtenbrot, B.A.:
Nets and data flow interpretersMore Information... - Robinson, E.:
How complete is PER?More Information... - Stolboushkin, A.P.:
Some complexity bounds for dynamic logicsMore Information... - Vardi, M.Y.:
On the complexity of epistemic reasoningMore Information... - Wand, M.:
Type inference for record concatenation and multiple inheritance More Information...
Organizers
Program ChairRohit Parikh |
Program Committee:M. Davis; M. Fitting; M. Hennessy; D. Israel; J. Jaffar; D. Joseph; D. Kapur; A. Kfoury; P. Kolaitis; D. Kozen; V. Lifschitz; A. Pnueli; V. Pratt; R. Statman |