[Prev][Next][Index][Thread]
Accepted LICS 92 papers
Date: Thu, 30 Jan 92 16:13:55 EST
Cc: lics92@saul.cis.upenn.edu
The unordered list of accepted papers for Seventh Annual IEEE Symposium
on Logic in Computer Science (LICS '92) is included below. The proceedings
deadline is APRIL 7, 1992.
Andre Scedrov
LICS 92 Program Chair
TITLE:: Third Order Matching is Decidable
AUTHORS:: Gilles Dowek
TITLE:: Double-exponential complexity of computing a complete set of
ac-unifiers
AUTHORS:: Deepak Kapur and Paliath Narendran
TITLE:: Random Worlds and Maximum Entropy
AUTHORS:: Adam Grove, Joseph Y. Halpern, and Daphne Kollar
TITLE:: Minimal model semantics for nonmonotonic modal logics
AUTHORS:: Grigori Schwarz
TITLE:: Fixpoint Logic vs. Infinitary Logic in Finite-Model Theory
AUTHORS:: Phokion G. Kolaitis and Moshe Y. Vardi
TITLE:: Deterministic versus Nondeterministic Transitive Closure Logic
AUTHORS:: Erich Graedel and Gregory L. McColm
TITLE:: Logical Hierarchies in PTIME
AUTHORS:: Lauri Hella
TITLE:: An abstract standardisation theorem
AUTHORS:: Georges Gonthier, Jean-Jacques Levy, and Paul-Andre Mellies
TITLE:: A Constructive Formalization of the Catch and Throw Mechanism
AUTHORS:: Hiroshi Nakano
TITLE:: A Computational Analysis of Girard's Translation and LC
AUTHORS:: Chetan R. Murthy
TITLE:: The Lazy Lambda Calculus in a Concurrency Scenario
AUTHORS:: Davide Sangiorgi
TITLE:: Turning SOS Rules into Equations
AUTHORS:: Luca Aceto, Bard Bloom, and Frits Vaandrager
TITLE:: A Calculus of Dataflow Networks
AUTHORS:: Eugene W. Stark
TITLE:: Asynchronous Communication in Process Algebra
AUTHORS:: Frank S. de Boer, Jan Willem Klop, and Catuscia Palamidessi
TITLE:: Equivalences on Observable Processes
AUTHORS:: Irek Ulidowski
TITLE:: The Type and Effect Discipline
AUTHORS:: Jean-Pierre Talpin and Pierre Jouvelot
TITLE:: Abstract Interpretation and Disjunctive Strictness Analysis
AUTHORS:: Thomas P. Jensen
TITLE:: References, Local Variables and Operations
AUTHORS:: Ian Mason and Carolyn Talcott
TITLE:: Horn Programming in Linear Logic is NP-Complete
AUTHORS:: Max I. Kanovich
TITLE:: New Foundations for the Geometry of Interaction
AUTHORS:: Samson Abramsky and Radha Jagadeesan
TITLE:: Linear Logic without Boxes
AUTHORS:: Georges Gonthier, Martin Abadi, and Jean-Jacques Levy
TITLE:: Operational aspects of linear lambda calculus
AUTHORS:: Patrick Lincoln and John Mitchell
TITLE:: Decidable Problems in Shallow Equational Theories
AUTHORS:: Hubert Comon, Marianne Haberstrau, and Jean-Pierre Jouannaud
TITLE:: Monadic Theory of Term Rewritings
AUTHORS:: Didier Caucal
TITLE:: Strong Sequentiality of Left-Linear Overlapping Term Rewriting Systems
AUTHORS:: Yoshihito Toyama
TITLE:: There is No Recursive Axiomatization for Feasible Functionals of Type 2
AUTHORS:: Anil Seth
TITLE:: Cutting Planes and constant depth Frege proofs
AUTHORS:: Peter Clote
TITLE:: Subtype Inequalities
AUTHORS:: Jerzy Tiuryn
TITLE:: An Engine for Logic Program Analysis
AUTHORS:: Nevin Heintze and Joxan Jaffar
TITLE:: Solving Systems of Set Constraints
AUTHORS:: Alexander Aiken and Edward L. Wimmers
TITLE:: The category of constraint systems is cartesian-closed
AUTHORS:: Vijay Saraswat
TITLE:: Generalized Quantifiers and Pebble Games on Finite Structures
AUTHORS:: Jouko A. Vaananen and Phokion G. Kolaitis
TITLE:: Axiomatizable Classes of Finite Models and Definability of
Linear Order
AUTHORS:: Alex Stolboushkin
TITLE:: Zero-One Laws for Modal Logic
AUTHORS:: Joseph Y. Halpern and Bruce Kapron
TITLE:: Progress measures, immediate determinacy, and a subset construction
for tree automata
AUTHORS:: Nils Klarlund
TITLE:: Symbolic Model Checking for Real-time Systems
AUTHORS:: Thomas A. Henzinger, Xavier Nicollin, Joseph Sifakis,
and Sergio Yovine
TITLE:: Compiler Verification in LF
AUTHORS:: Frank Pfenning and John Hannan
TITLE:: Mixing List Recursion and Integer Ordering
AUTHORS:: Laurent Fribourg
TITLE:: Observable Sequential algorithms on concrete data structures
AUTHORS:: P.-L. Curien
TITLE:: Functorial Parametricity
AUTHORS:: Peter J. Freyd, Edmund P. Robinson, and Giuseppe Rosolini
TITLE:: The Church-Rosser property for beta eta reduction in
typed lambda calculi
AUTHORS:: Herman Geuvers
TITLE:: Retracts in simply typed lambda beta eta calculus
AUTHORS:: U. de Liguoro, A. Piperno and R. Statman