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

Borger, Egon

ISBN 10: 354051659X / ISBN 13: 9783540516590

Verlag: Springer 1989-09, 1989

Beschreibung

Bestandsnummer des Verkäufers 6666-IUK-9783540516590

Bibliografische Details

• Titel: CSL'88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988. Proceedings
• Verlag: Springer 1989-09
• Erscheinungsjahr: 1989
• Sprache: Englisch
• ISBN-10: 354051659X
• ISBN-13: 9783540516590
• Einband: PF
• Zustand: New

Über diesen Titel

Inhaltsangabe

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.