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
Genres: 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.
Notes: "IEEE catalog number 96CH35952"--T.p. verso.

Includes bibliographical references and index.

Also available via the World Wide Web.