2. LICS 1987:
Ithaca, New York, USA
Proceedings of the Symposium on Logic in Computer Science (LICS '87), Ithaca, New York, USA, June 22-25, 1987.
IEEE Computer Society 1987, ISBN 0-8186-0793-6
Invited Speaker
- Robin Milner:
Some Uses of Maximal Fixed Points (Abstract of Invited Lecture).
3
Session 1
Session 2
Session 3
Invited Speaker
- J. Reynolds:
Conjunctive Types and Algol-like Languages.
119
Session 4
Invited Speaker
- Maarten H. van Emden:
First-order Predicate Logic as a Common Basis for Relational and Functional Programming (Abstract).
179
Session 5
Session 6
Session 7
- Yoav Shoham:
A Semantical Approach to Nonmonotic Logics.
275-279
- Ronald Fagin, Joseph Y. Halpern:
I'm OK if You're OK: On the Notion of Trusting Communication.
280-292
- Andreas Goerdt:
Hoare Logic for Lambda-Terms as Basis of Hoare Logic for Imperative Languages.
293-299
Session 8
Session 9
Last update Fri May 25 08:25:19 2012
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page