Computer science logic
Subtitle: 11th international workshop, CSL '97 : annual conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : selected papers
By: Mogens Nielsen, Wolfgang Thomas (eds.)
Contributors: Nielsen, M. 1949-; Thomas, Wolfgang, 1947-; European Association for Computer Science Logic. Conference
Series: Lecture notes in computer science ;; 1414
Publisher: Springer
Published: 1998
Place of publication: Berlin; New York
Language: eng
Number of pages: 509
Subjects: Computer logic -- Congresses
Notes: Includes bibliographical references and index.