1. LICS 1986:
Cambridge, Massachusetts
Proceedings of the Symposium on Logic in Computer Science (LICS '86), Cambridge, Massachusetts, USA, June 16-18, 1986.
IEEE Computer Society 1986, ISBN 0-8186-0720-3
Invited Lecture
- John Alan Robinson:
Merging Functional with Relational Programming in a Reduction Setting (Abstract of an Invited Lecture).
2

Session 1
Session 2
Session 3
- Christine Mohring:
Algorithm Development in the Calculus of Constructions.
84-91

- John S. Schlipf:
How Uncomputable is General Circumscription? (Extended Abstract).
92-95

- J. Shultis:
The Design and Implementations of Intuit.
96-104

- Ian A. Mason:
Equivalence of First Order LISP Programs. Proving Properties of Destructive Programs via Transformation.
105-117

Invited Lecture
- Anil Nerode:
A Logician Looks at Expert Systems: Areas for Mathematical Research (Abstract of Invited Lecture).
120

Session 4
Session 5
Session 6
Invited Lecture
- Jean-Yves Girard:
Quantitative and Qualitative Semantics (Abstract of Invited Lecture).
258

Session 7
Session 8
Session 9
Last update Sat May 25 10:06:01 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page