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

3. LICS 1988: Edinburgh, Scotland, UK

Proceedings of the Third Annual Symposium on Logic in Computer Science (LICS '88), Edinburgh, Scotland, UK, July 5-8, 1988. IEEE Computer Society, ISBN 0-8186-0853-6

Session 1

Invited Talk

Session 2

Session 3

Session 4

Session 5

Session 6

Session 7

Invited Talk

Session 8

Session 9

Session 10

Session 11

Session 12

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