11th 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
- Marcelo P. Fiore, Eugenio Moggi, Davide Sangiorgi:
A Fully-Abstract Model for the pi-Calculus (Extended Abstract). 43-54 - Thorsten Altenkirch, Martin Hofmann, Thomas Streicher:
Reduction-Free Normalisation for a Polymorphic System. 98-106 - Andrew M. Pitts:
Reasoning about Local Variables with Operationally-Based Logical Relations. 152-163 - Rajeev Alur, Kenneth L. McMillan, Doron A. Peled:
Model-Checking of Correctness Conditions for Concurrent Objects. 219-228 - C.-H. Luke Ong:
A Semantic View of Classical Proofs: Type-Theoretic, Categorical, and Denotational Characterizations (Preliminary Extended Abstract). 230-241 - Gerd G. Hillebrand, Paris C. Kanellakis:
On the Expressive Power of Simply Typed and Let-Polymorphic Lambda Calculi. 253-263 - Bernard Willems, Pierre Wolper:
Partial-Order Methods for Model Checking: From Linear Time to Branching Time. 294-303 - Parosh Aziz Abdulla, Karlis Cerans, Bengt Jonsson, Yih-Kuen Tsay:
General Decidability Theorems for Infinite-State Systems. 313-321 - Tirza Hirst, David Harel:
More About Recursive Structures: Descriptive Complexity and Zero-One Laws. 334-347 - César A. Muñoz:
Confluence and Preservation of Strong Normalisation in an Explicit Substitutions Calculus. 440-447 - Inge Bethke, Jan Willem Klop, Roel C. de Vrijer:
Completing Partial Combinatory Algebras With Unique Head-Normal Forms. 448-454 - Anatoli Degtyarev, Yuri V. Matiyasevich, Andrei Voronkov:
Simultaneous E-Unification and Related Algorithmic Problems. 494-502 - Anatoli Degtyarev, Andrei Voronkov:
Decidability Problems for the Prenex Fragment of Intuitionistic Logic. 503-512 - Yuri V. Matiyasevich, Géraud Sénizergues:
Decision Problems for Semi-Thue Systems with a Few Rules. 523-531