Proceedings
Subtitle: sixth annual IEEE Symposium on Logic in Computer Science, July 15-18, 1991, Amsterdam, The Netherlands
By: sponsored by IEEE Technical Committee on Mathematical Foundations of Computing, CWI, Amsterdam, Vrije Universiteit, Amsterdam ; in cooperation with Association for Computing Machinery, Association for Symbolic Logic, European Association for Theoretical Computer Science.
Contributors: IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.; Centrum voor Wiskunde en Informatica (Amsterdam, Netherlands)
Publisher: IEEE Computer Society Press
Published: 1991
Place of publication: Los Alamitos, Calif
Language: eng
Number of pages: 417
Subjects: Logic, Symbolic and mathematical -- Congresses.; Electronic data processing -- Congresses.; Electronic digital computers -- Congresses.
Other titles: 1991 IEEE 6th annual Symposium on Logic in Computer Science.; Logic in computer science.
Notes: On cover and spine: 1991 IEEE 6th annual Symposium on Logic in Computer Science.

"IEEE Computer Society Press Order Number 2230."

"IEEE Catalog Number 91CH3025-4."

Includes bibliographical references.