Symposium on Logic in Computer Science
Subtitle: proceedings : Cambridge, Massachusetts, June 16-18, 1986
By: sponsored by the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing in cooperation with ACM SIGACT, Association for Symbolic Logic, [and] European Association for Theoretical Computer Science.
Contributors: IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing; Association for Symbolic Logic.; ACM Special Interest Group for Automata and Computability Theory.; European Association for Theoretical Computer Science.
Publisher: IEEE Computer Society Press
Published: 1986
Place of publication: Washington, DC
Language: eng
Format: Microform
Number of pages: 383
Subjects: Computer programs -- Correctness -- Congresses.; Logic, Symbolic and mathematical -- Congresses.; Electronic digital computers -- Programming -- Congresses.
Genres: Congresses.
Notes: "IEEE Catalog no. 86CH2321-8."

"IEEE Computer Society order number 720."

Includes bibliographies and index.

Microfiche. 4 microfiches ; 11 x 15 cm.