CSL'88
| Author | : Egon Börger |
| Publisher | : Springer Science & Business Media |
| Total Pages | : 412 |
| Release | : 1989-09-06 |
| ISBN-10 | : 354051659X |
| ISBN-13 | : 9783540516590 |
| Rating | : 4/5 (590 Downloads) |
Download or read book CSL'88 written by Egon Börger and published by Springer Science & Business Media. This book was released on 1989-09-06 with total page 412 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.