Symposium on Logic in Computer Science, LICS'94
Subtitle: proceedings, CNAM, Paris, France, July 4-7, 1994
By: sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing.
Contributors: IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.
Publisher: IEEE Computer Society Press
Published: 1994
Place of publication: Los Alamitos, Calif
Language: eng
Number of pages: 517
Subjects: Logic, Symbolic and mathematical -- Congresses.; Electronic data processing -- Congresses.; Electronic digital computers -- Congresses.
Other titles: 1994 IEEE 9th Annual Symposium on Logic in Computer Science.; Ninth Annual IEEE Symposium on Logic in Computer Science.; LICS'94.
Notes: "IEEE Computer Society Press Order Number 6310-02".

"IEEE Catalog Number 94CH3464-5".

On cover and spine: 1994 IEEE 9th Annual Symposium on Logic in Computer Science.

Includes bibliographical references.