On this page:
Presented Papers
Entries are ordered by surname of first author
- Abadi, M. Plotkin, G.D.:
A PER model of polymorphism and recursive typesMore Information... - Allen, S.F. Constable, R.L. Howe, D.J. Aitken, W.E.:
The semantics of reflected proofMore Information... - Alur, R. Henzinger, T.A.:
Real-time logics: complexity and expressivenessMore Information... - Alur, R. Courcoubetis, C. Dill, D.:
Model-checking for real-time systemsMore Information... - Boudet, A. Contejean, E. Devie, H.:
A new AC unification algorithm with an algorithm for solving systems of diophantine equations More Information... - Brown, C. Gurr, D.:
A categorical linear framework for Petri netsMore Information... - Burch, J.R. Clarke, E.M. McMillan, K.L. Dill, D.L. Hwang, L.J.:
Symbolic model checking: 10 states and beyondMore Information... - Cerrito, S.:
A linear semantics for allowed logic programsMore Information... - Cleaveland, R. Steffen, B.:
When is `partial' adequate? A logic-based proof technique using partial specifications More Information... - Clote, P.:
ALOGTIME and a conjecture of S.A. CookMore Information... - Comon, H.:
Solving inequations in terms algebrasMore Information... - Cosmadakis, S.S. Meyer, A.R. Riecke, J.G.:
Completeness for typed lazy inequalitiesMore Information... - Courcelle, B.:
On the expression of monadic second-order graph properties without quantifications over sets of edges More Information... - Crole, R.L. Pitts, A.M.:
New foundations for fixpoint computationsMore Information... - Dauchet, M. Tison, S.:
The theory of ground rewrite systems is decidableMore Information... - De Nicola, R. Vaandrager, F.:
Three logics for branching bisimulationMore Information... - Dorre, J. Rounds, W.C.:
On subsumption and semiunification in feature algebrasMore Information... - Droste, M. Gobel, R.:
Universal domains in the theory of denotational semantics of programming languages More Information... - Emerson, E.A. Evangelist, M. Srinivasan, J.:
On the limits of efficient temporal decidabilityMore Information... - Freyd, P. Mulry, P. Rosolini, G. Scott, D.:
Extensional PERsMore Information... - Freyd, P.:
Recursive types reduced to inductive typesMore Information... - Gehlot, V. Gunter, C.:
Normal process representativesMore Information... - Goldman, K.J. Lynch, N.A.:
Modelling shared state in a shared action modelMore Information... - Guzman, J.C. Hudak, P.:
Single-threaded polymorphic lambda calculusMore Information... - Harel, E. Lichtenstein, O. Pnueli, A.:
Explicit clock temporal logicMore Information... - Harel, D. Rosner, R. Vardi, M.:
On the power of bounded concurrency. III. Reasoning about programs More Information... - Heintze, N. Jaffar, J.:
A decision procedure for a class of set constraintsMore Information... - Jung, A.:
The classification of continuous domainsMore Information... - Kfoury, A.J. Tiuryn, J.:
Type reconstruction in finite-rank fragments of the polymorphic λ-calculus More Information... - Kirchner, C. Klay, F.:
Syntactic theories and unificationMore Information... - Kolaitis, P.G. Vardi, M.Y.:
0-1 laws for infinitary logicsMore Information... - Kolaitis, P.G.:
Implicit definability on finite structures and unambiguous computations More Information... - Larsen, K.G. Xinxin, L.:
Equation solving using modal transition systemsMore Information... - Lassez, J.-L. McAloon, K.:
A constraint sequent calculusMore Information... - Lescanne, P.:
Well rewrite orderingsMore Information... - Lewis, H.R.:
A logic of concrete time intervalsMore Information... - Marek, W. Nerode, A. Remmel, J.:
A theory of nonmonotonic rule systemsMore Information... - Moller, F.:
The nonexistence of finite axiomatisations for CCS congruencesMore Information... - Murthy, C.R. Russell, J.R.:
A constructive proof of Higman's lemmaMore Information... - Nipkow, T.:
Proof transformations for equational theoriesMore Information... - Phoa, W.:
Effective domains and intrinsic structureMore Information... - Robinson, E. Rosolini, G.:
Polymorphism, set theory, and call-by-valueMore Information... - Sekar, R.C. Ramakrishnan, I.V.:
Programming in equational logic: beyond strong sequentialityMore Information... - van der Meyden, R.:
The dynamic logic of permissionMore Information... - van Glabbeek, R. Smolka, S.A. Steffen, B. Tofts, C.M.N.:
Reactive, generative, and stratified models of probabilistic processes More Information... - Wand, M. Wang, Z.-Y.:
Conditional lambda-theories and the verification of static properties of programs More Information...
Organizers
Program ChairJohn Mitchell |
Program Committee:K. Apt; J. Barwise; E. Clarke; S. Cook; S. Hayashi; P. Kanellakis; J.-P. Jouannaud; D. Leivant; U. Montanari; A. Pitts; E. Sandewall; A. Scedrov; M. Stickel; G. Winskel |