CSL'88

2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988. Proceedings

404 Seiten, Taschenbuch

Kurzbeschreibung des Verlags

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.

• Reihe: Lecture Notes in Computer Science
• ISBN: 9783540516590
• Sprache: Englisch
• Erscheinungsdatum: 06.09.1989
• Genre: Informatik, EDV/Informatik
• Verlag: Springer Berlin
• Herausgegeben von: Egon Börger, Hans Kleine Büning, Michael M. Richter