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

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, ISBN 0-8186-0793-6

Invited Speaker

Session 1

Session 2

Session 3

Invited Speaker

Session 4

Invited Speaker

Session 5

Session 6

Session 7

Session 8

Session 9

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