dblp.uni-trier.de www.uni-trier.de

1. LICS 1986: Cambridge, Massachusetts

Proceedings of the Symposium on Logic in Computer Science (LICS '86), Cambridge, Massachusetts, June 16-18, 1986. IEEE Computer Society, ISBN 0-8186-0720-3

Invited Lecture

Session 1

Session 2

Session 3

Invited Lecture

Session 4

Session 5

Session 6

Invited Lecture

Session 7

Session 8

Session 9

Copyright © Mon Nov 2 20:57:00 2009 by Michael Ley (ley@uni-trier.de)