Computer science logic
Subtitle: 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers
By: Egon Börger, Yuri Gurevich, Karl Meinke, eds.
Contributors: Börger, E. 1946-; Gurevich, Yuri.; Meinke, K.
Series: Lecture notes in computer science ;; 832
Publisher: Springer-Verlag
Published: 1994
Place of publication: Berlin; New York
Language: eng
Number of pages: 336
Subjects: Computer science -- Congresses; Logic, Symbolic and mathematical -- Congresses
Notes: Includes bibliographical references.