CSL '88
Subtitle: 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings
By: E. Börger, H. Kleine Büning, M.M. Richter (eds.).
Contributors: Börger, E. 1946-; Kleine Büning, H.; Richter, Michael M., 1938-
Series: Lecture notes in computer science ;; 385
Publisher: Springer-Verlag
Published: 1989
Place of publication: Berlin; New York
Language: eng
Number of pages: 399
Subjects: Computer science -- Mathematics -- Congresses.; Logic, Symbolic and mathematical -- Congresses.
Description: "This volume contains the papers which were presented at the second workshop "Computer Science Logic" held in Duisburg, FRG, October 3-7, 1988. These proceedings cover a wide range of topics both from theoretical and applied areas of computer science. More specifically, the papers deal with problems arising at the border of logic and computer science: e.g. in complexity, data base theory, logic programming, artificial intelligence, and concurrency. The volume should be of interest to all logicians and computer scientists working in the above fields."--Publisher's website.
Notes: Includes bibliographical references.