ask others

11th LICS 1996: New Brunswick, New Jersey

> Home > Conferences and Workshops > LICS

- view
  - electronic edition @ ieee.org
  - electronic edition @ computer.org
- export record
  dblp key:
  - conf/lics/1996
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lics/1996
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
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/lics/MedinaI96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lics/MedinaI96
J. Antonio Medina, Neil Immerman:
A Generalization of Fagin's Theorem. 2-12
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/lics/Marcinkowski96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lics/Marcinkowski96
Jerzy Marcinkowski:
DATALOG SIRUPs Uniform Boundedness is Undecidable. 13-24
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/lics/BenediktL96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lics/BenediktL96
Michael Benedikt, Leonid Libkin:
On the Structure of Queries in Constraint Query Languages. 25-34
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/lics/Stark96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lics/Stark96
Ian Stark:
A Fully Abstract Domain Model for the pi-Calculus. 36-42
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/lics/FioreMS96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lics/FioreMS96
Marcelo P. Fiore, Eugenio Moggi, Davide Sangiorgi:
A Fully-Abstract Model for the pi-Calculus (Extended Abstract). 43-54
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/lics/CattaniS96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lics/CattaniS96
Gian Luca Cattani, Vladimiro Sassone:
Higher Dimensional Transition Systems. 55-62
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/lics/NatarajanC96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lics/NatarajanC96
V. Natarajan, Rance Cleaveland:
An Algebraic Theory of Process Efficiency. 63-72
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/lics/TiurynU96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lics/TiurynU96
Jerzy Tiuryn, Pawel Urzyczyn:
The Subtyping Problem for Second-Order Types is Undecidable. 74-85
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/lics/AspinallC96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lics/AspinallC96
David Aspinall, Adriana B. Compagnoni:
Subtyping Dependent Types (Summary). 86-97
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/lics/AltenkirchHS96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lics/AltenkirchHS96
Thorsten Altenkirch, Martin Hofmann, Thomas Streicher:
Reduction-Free Normalisation for a Polymorphic System. 98-106
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/lics/EtessamiW96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lics/EtessamiW96
Kousha Etessami, Thomas Wilke:
An Until Hierarchy for Temporal Logic. 108-117
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/lics/Ramanujam96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lics/Ramanujam96
Ramaswamy Ramanujam:
Locally Linear Time Temporal Logic. 118-127
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/lics/Seidl96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lics/Seidl96
Helmut Seidl:
A Modal Mu-Calculus for Durational Transition Systems. 128-137
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/lics/McAllesterGWK96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lics/McAllesterGWK96
David A. McAllester, Robert Givan, Carl Witty, Dexter Kozen:
Tarskian Set Constraints. 138-147
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/lics/Pitts96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lics/Pitts96
Andrew M. Pitts:
Reasoning about Local Variables with Operationally-Based Logical Relations. 152-163
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/lics/Brookes96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lics/Brookes96
Stephen D. Brookes:
The Essence of Parallel Algol. 164-173
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/lics/McCusker96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lics/McCusker96
Guy McCusker:
Games and Full Abstraction for FPC. 174-183
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/lics/Davies96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lics/Davies96
Rowan Davies:
A Temporal-Logic Approach to Binding-Time Analysis. 184-195
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/lics/GodefroidL96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lics/GodefroidL96
Patrice Godefroid, David E. Long:
Symbolic Protocol Verification With Queue BDDs. 198-206
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/lics/AlurH96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lics/AlurH96
Rajeev Alur, Thomas A. Henzinger:
Reactive Modules. 207-218
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/lics/AlurMP96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lics/AlurMP96
Rajeev Alur, Kenneth L. McMillan, Doron A. Peled:
Model-Checking of Correctness Conditions for Concurrent Objects. 219-228
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/lics/Ong96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lics/Ong96
C.-H. Luke Ong:
A Semantic View of Classical Proofs: Type-Theoretic, Categorical, and Denotational Characterizations (Preliminary Extended Abstract). 230-241
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/lics/AbadiF96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lics/AbadiF96
Martín Abadi, Marcelo P. Fiore:
Syntactic Considerations on Recursive Types. 242-252
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/lics/HillebrandK96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lics/HillebrandK96
Gerd G. Hillebrand, Paris C. Kanellakis:
On the Expressive Power of Simply Typed and Let-Polymorphic Lambda Calculi. 253-263
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/lics/CervesatoP96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lics/CervesatoP96
Iliano Cervesato, Frank Pfenning:
A Linear Logical Framework. 264-275
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/lics/Henzinger96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lics/Henzinger96
Thomas A. Henzinger:
The Theory of Hybrid Automata. 278-292
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/lics/WillemsW96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lics/WillemsW96
Bernard Willems, Pierre Wolper:
Partial-Order Methods for Model Checking: From Linear Time to Branching Time. 294-303
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/lics/BhatC96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lics/BhatC96
Girish Bhat, Rance Cleaveland:
Efficient Model Checking via the Equational µ-Calculus. 304-312
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/lics/AbdullaCJT96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lics/AbdullaCJT96
Parosh Aziz Abdulla, Karlis Cerans, Bengt Jonsson, Yih-Kuen Tsay:
General Decidability Theorems for Infinite-State Systems. 313-321
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/lics/KupfermanSV96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lics/KupfermanSV96
Orna Kupferman, Shmuel Safra, Moshe Y. Vardi:
Relating Word and Tree Automata. 322-332
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/lics/HirstH96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lics/HirstH96
Tirza Hirst, David Harel:
More About Recursive Structures: Descriptive Complexity and Zero-One Laws. 334-347
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/lics/KolaitisV96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lics/KolaitisV96
Phokion G. Kolaitis, Moshe Y. Vardi:
On the Expressive Power of Variable-Confined Logics. 348-359
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/lics/McColm96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lics/McColm96
Gregory L. McColm:
Zero-One Laws for Gilbert Random Graphs. 360-369
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/lics/Edalat96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lics/Edalat96
Abbas Edalat:
The Scott Topology Induces the Weak Topology. 372-381
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/lics/EdalatE96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lics/EdalatE96
Abbas Edalat, Martín Hötzel Escardó:
Integration in Real PCF. 382-393
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/lics/DanosHR96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lics/DanosHR96
Vincent Danos, Hugo Herbelin, Laurent Regnier:
Game Semantics & Abstract Machines. 394-405
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/lics/Pradhan96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lics/Pradhan96
Shekhar Pradhan:
Semantics of Normal Logic Programs and Contested Information. 406-415
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/lics/BentonW96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lics/BentonW96
P. N. Benton, Philip Wadler:
Linear Logic, Monads and the Lambda Calculus. 420-431
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/lics/Selinger96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lics/Selinger96
Peter Selinger:
Order-Incompleteness and Finite Lambda Models (Extended Abstract). 432-439
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/lics/Munoz96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lics/Munoz96
César A. Muñoz:
Confluence and Preservation of Strong Normalisation in an Explicit Substitutions Calculus. 440-447
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/lics/BethkeKV96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lics/BethkeKV96
Inge Bethke, Jan Willem Klop, Roel C. de Vrijer:
Completing Partial Combinatory Algebras With Unique Head-Normal Forms. 448-454
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/lics/BasinG96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lics/BasinG96
David A. Basin, Harald Ganzinger:
Complexity Analysis Based on Ordered Resolution. 456-465
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/lics/Narendran96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lics/Narendran96
Paliath Narendran:
Solving Linear Equations over Polynomial Semirings. 466-472
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/lics/Nieuwenhuis96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lics/Nieuwenhuis96
Robert Nieuwenhuis:
Basic Paramodulation and Decidable Theories (Extended Abstract). 473-482
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/lics/Nurmonen96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lics/Nurmonen96
Juha Nurmonen:
Counting Modulo Quantifiers on Finite Linearly Ordered Trees. 484-493
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/lics/DegtyarevMV96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lics/DegtyarevMV96
Anatoli Degtyarev, Yuri V. Matiyasevich, Andrei Voronkov:
Simultaneous E-Unification and Related Algorithmic Problems. 494-502
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/lics/DegtyarevV96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lics/DegtyarevV96
Anatoli Degtyarev, Andrei Voronkov:
Decidability Problems for the Prenex Fragment of Intuitionistic Logic. 503-512
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/lics/MarekNR96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lics/MarekNR96
V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel:
On the Complexity of Abduction. 513-522
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/lics/MatiyasevichS96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lics/MatiyasevichS96
Yuri V. Matiyasevich, Géraud Sénizergues:
Decision Problems for Semi-Thue Systems with a Few Rules. 523-531

maintained by

, founded at