Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar11th LICS 1996: New Brunswick, New Jersey
Proceedings, 11th Annual IEEE Symposium on Logic in Computer Science, New Brunswick, New Jersey, USA, July 27-30, 1996. IEEE Computer Society 1996, ISBN 0-8186-7463-6 J. Antonio Medina, Neil Immerman:
A Generalization of Fagin's Theorem. 2-12Jerzy Marcinkowski:
DATALOG SIRUPs Uniform Boundedness is Undecidable. 13-24Michael Benedikt, Leonid Libkin:
On the Structure of Queries in Constraint Query Languages. 25-34Ian Stark:
A Fully Abstract Domain Model for the pi-Calculus. 36-42Marcelo P. Fiore, Eugenio Moggi, Davide Sangiorgi:
A Fully-Abstract Model for the pi-Calculus (Extended Abstract). 43-54Gian Luca Cattani, Vladimiro Sassone:
Higher Dimensional Transition Systems. 55-62V. Natarajan, Rance Cleaveland:
An Algebraic Theory of Process Efficiency. 63-72Jerzy Tiuryn, Pawel Urzyczyn:
The Subtyping Problem for Second-Order Types is Undecidable. 74-85David Aspinall, Adriana B. Compagnoni:
Subtyping Dependent Types (Summary). 86-97Thorsten Altenkirch, Martin Hofmann, Thomas Streicher:
Reduction-Free Normalisation for a Polymorphic System. 98-106Kousha Etessami, Thomas Wilke:
An Until Hierarchy for Temporal Logic. 108-117Ramaswamy Ramanujam:
Locally Linear Time Temporal Logic. 118-127Helmut Seidl:
A Modal Mu-Calculus for Durational Transition Systems. 128-137David A. McAllester, Robert Givan, Carl Witty, Dexter Kozen:
Tarskian Set Constraints. 138-147Andrew M. Pitts:
Reasoning about Local Variables with Operationally-Based Logical Relations. 152-163Stephen D. Brookes:
The Essence of Parallel Algol. 164-173Guy McCusker:
Games and Full Abstraction for FPC. 174-183Rowan Davies:
A Temporal-Logic Approach to Binding-Time Analysis. 184-195Patrice Godefroid, David E. Long:
Symbolic Protocol Verification With Queue BDDs. 198-206Rajeev Alur, Thomas A. Henzinger:
Reactive Modules. 207-218Rajeev Alur, Kenneth L. McMillan, Doron A. Peled:
Model-Checking of Correctness Conditions for Concurrent Objects. 219-228C.-H. Luke Ong:
A Semantic View of Classical Proofs: Type-Theoretic, Categorical, and Denotational Characterizations (Preliminary Extended Abstract). 230-241Martín Abadi, Marcelo P. Fiore:
Syntactic Considerations on Recursive Types. 242-252Gerd G. Hillebrand, Paris C. Kanellakis:
On the Expressive Power of Simply Typed and Let-Polymorphic Lambda Calculi. 253-263Iliano Cervesato, Frank Pfenning:
A Linear Logical Framework. 264-275Thomas A. Henzinger:
The Theory of Hybrid Automata. 278-292Bernard Willems, Pierre Wolper:
Partial-Order Methods for Model Checking: From Linear Time to Branching Time. 294-303Girish Bhat, Rance Cleaveland:
Efficient Model Checking via the Equational µ-Calculus. 304-312Parosh Aziz Abdulla, Karlis Cerans, Bengt Jonsson, Yih-Kuen Tsay:
General Decidability Theorems for Infinite-State Systems. 313-321Orna Kupferman, Shmuel Safra, Moshe Y. Vardi:
Relating Word and Tree Automata. 322-332Tirza Hirst, David Harel:
More About Recursive Structures: Descriptive Complexity and Zero-One Laws. 334-347Phokion G. Kolaitis, Moshe Y. Vardi:
On the Expressive Power of Variable-Confined Logics. 348-359Gregory L. McColm:
Zero-One Laws for Gilbert Random Graphs. 360-369Abbas Edalat:
The Scott Topology Induces the Weak Topology. 372-381Abbas Edalat, Martín Hötzel Escardó:
Integration in Real PCF. 382-393Vincent Danos, Hugo Herbelin, Laurent Regnier:
Game Semantics & Abstract Machines. 394-405Shekhar Pradhan:
Semantics of Normal Logic Programs and Contested Information. 406-415P. N. Benton, Philip Wadler:
Linear Logic, Monads and the Lambda Calculus. 420-431Peter Selinger:
Order-Incompleteness and Finite Lambda Models (Extended Abstract). 432-439César A. Muñoz:
Confluence and Preservation of Strong Normalisation in an Explicit Substitutions Calculus. 440-447Inge Bethke, Jan Willem Klop, Roel C. de Vrijer:
Completing Partial Combinatory Algebras With Unique Head-Normal Forms. 448-454David A. Basin, Harald Ganzinger:
Complexity Analysis Based on Ordered Resolution. 456-465Paliath Narendran:
Solving Linear Equations over Polynomial Semirings. 466-472Robert Nieuwenhuis:
Basic Paramodulation and Decidable Theories (Extended Abstract). 473-482Juha Nurmonen:
Counting Modulo Quantifiers on Finite Linearly Ordered Trees. 484-493Anatoli Degtyarev, Yuri V. Matiyasevich, Andrei Voronkov:
Simultaneous E-Unification and Related Algorithmic Problems. 494-502Anatoli Degtyarev, Andrei Voronkov:
Decidability Problems for the Prenex Fragment of Intuitionistic Logic. 503-512V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel:
On the Complexity of Abduction. 513-522Yuri V. Matiyasevich, Géraud Sénizergues:
Decision Problems for Semi-Thue Systems with a Few Rules. 523-531
last updated on 2019-09-15 22:51 CEST by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
the dblp computer science bibliography is funded by:
