Proceedings Tenth Annual IEEE Symposium on Logicin Computer Science
Subtitle: June 26-29 1995, San Diego
By: edited by Dexter Kozen.
Contributors: Kozen, Dexter.
Publisher: IEEE Computer Society Press
Published: 1996
Place of publication: Los Alamitos, CA
Language: eng
Number of pages: 528