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

7. LICS 1992: Santa Cruz, California, USA

Proceedings of the Seventh Annual Symposium on Logic in Computer Science (LICS '92), Santa Cruz, California, USA, June, 1992. IEEE Computer Society

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