11th Annual IEEE Symposium on Logic in Computer Science
Subtitle: proceedings, July 27-30, 1996, New Brunswick, New Jersey
By: sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with ACM Special Interest Group on Automata and Computability Theory ... [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: 1996
Place of publication: Los Alamitos, Calif
Language: eng
Number of pages: 535
Subjects: Computer science -- Mathematics -- Congresses.; Logic, Symbolic and mathematical -- Congresses.
Other titles: Logic in computer science; 1996 IEEE 11th Annual Symposium on Logic in Computer Science; Proceedings, 11th Annual IEEE Symposium on Logic in Computer Science; Eleventh Annual IEEE Symposium on Logic in Computer Science; LICS '96
Notes: "IEEE catalog number 96CH35952"--T.p. verso.

Includes bibliographical references and index.