CSL'88
Börger, Egon / Richter, Michael M. / Kleine Büning, Hans![CSL'88](https://support.digitalhusky.com/media/annotations/sorted/324/3246106/CHSBZCOP033246106.jpg)
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 concurre...