Proceedings
Subtitle: fifth annual IEEE Symposium on Logic in Computer Science, June 4-7, 1990, Philadelphia, PA
By: sponsored by the IEEE Technical Committee on Mathematical Foundations of Computing ; in cooperation with Association for Computing Machinery - SIGACT, Association for Symbolic Logic, European Association for Theoretical Computer Science.
Contributors: IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.
Publisher: IEEE Computer Society Press
Published: 1990
Place of publication: Los Alamitos, CA
Language: eng
Number of pages: 509
Subjects: Logic, Symbolic and mathematical -- Congresses.; Electronic data processing -- Congresses.; Electronic digital computers -- Congresses.
Other titles: 1990 IEEE Fifth Annual Symposium on Logic in Computer Science.; Logic in computer science.
Notes: On cover and spine: 1990 IEEE Fifth annual Symposium on Logic in Computer Science.

IEEE catalogue number: 90CH2897-7.

IEEE Computer Society order number 2073.

Includes bibliographical references.