Proceedings
Subtitle: the 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.
Publisher: IEEE Computer Society Press
Published: 1991
Place of publication: Los Alamitos, Calif
Language: eng
Number of pages: 417
Subjects: Electronic data processing -- Congresses; Computer programming -- Congresses; Logic, Symbolic and mathematical -- Congresses
Genres: Congresses.
Other titles: Logic in Computer Science, 1991, LICS '91, Proceedings of Sixth Annual IEEE Symposium on.
Notes: "IEEE catalog no. 91CH3025-4."

Includes bibliographical references and author index.

Also available via the World Wide Web with additional title: Logic in Computer Science, 1991, LICS '91, Proceedings of Sixth Annual IEEE Symposium on.