[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