Proceedings, Tenth Annual IEEE Symposium on Logic in Computer Science, June 26-29, 1995, San Diego, California
By: edited by Dextere Kozen ; sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing, in cooperation with Special Interest Group on Automata and Computability Theory of the ACM, Association for Symbolic Logic, European Association for Theoretical Computer Science, with support from AT&T Bell Laboratories ... [et al.].
Contributors: Kozen, Dexter, 1951-; IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.; ACM Special Interest Group for Automata and Computability Theory.; Association for Symbolic Logic.; European Association for Theoretical Computer Science.
Publisher: IEEE Computer Society Press
Published: 1995
Place of publication: Los Alamitos, Calif
Language: eng
Number of pages: 518
Subjects: Computer science -- Mathematics -- Congresses.; Logic, Symbolic and mathematical -- Congresses.
Other titles: 1995 IEEE 10th Annual Symposium on Logic in Computer Science
Notes: "IEEE catalog number 95CH35768"--T.p. verso.

Includes bibliographical references and index.