Boerger, E., H. Kleine Buening, M. M. Richter (Eds.): CSL '87.1 st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12–16, 1987, Proceedings (Lecture Notes in Computer Science. Eds.: G. Goos, J. Hartmanis. Vol. 329). Springer-Verlag 1988. VI, 346 pp., DM 45,-; ISBN 3–540–50241–6
✍ Scribed by Dr. Seese
- Publisher
- John Wiley and Sons
- Year
- 2007
- Tongue
- English
- Weight
- 76 KB
- Volume
- 32
- Category
- Article
- ISSN
- 0323-3847
No coin nor oath required. For personal study only.
✦ Synopsis
The articles contained in this volume were presented to the workshop "Logik in der Informatik" ("Compnter-Science Logic") held in Karlsruhe. from October 12-16, 1987. Historically Computer Science is closely linked with Logic. So was Logic in the 1940's one of the 8ources of development of computers and also their theory. Recently contemporary Computer Science chahmges the different disciplines of Logic in a new way. A large class of queations appeared which are of basically logical nature and which have 88 novel and unifying aspect the algorithmic point of view. The present volume gives a good overview over the richness of research activities in this field, concentrating especially on ~n t r a ~-E u r o p e a n countries. The volume can be recommended for all active researchers and studenh in the field of Computer Science and Logic. It contains the following articles: Klaus Ambos-Spies, Hans Fleischhack, and Hagen Huwig, Diagonahh~g over neterministic Polynomial Time;