Proceedings
Subtitle: eighth annual IEEE Symposium on Logic in Computer Science, June 19-23, 1993, Montreal, Canada
By: sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with Association for Computing Machinery-SIGACT ... [et al.].
Contributors: IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.; ACM Special Interest Group for Automata and Computability Theory.
Publisher: IEEE Computer Society Press
Published: 1993
Place of publication: Los Alamitos, Calif
Language: eng
Number of pages: 434
Subjects: Logic, Symbolic and mathematical -- Congresses.; Electronic data processing -- Congresses.; Electronic digital computers -- Congresses.
Other titles: 1993 IEEE 8th Annual Symposium on Logic in Computer Science.; Eighth Annual IEEE Symposium on Logic in Computer Science.; 8th Annual IEEE Symposium on Logic in Computer Science.
Notes: "IEEE Computer Society Press Order Number 3140-02".

"IEEE Catalog Number 93CH3328-2".

On cover and spine: 1993 IEEE 8th Annual Symposium on Logic in Computer Science.

Includes bibliographical references.