Skip to main content

CSL '87

1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987. Proceedings

  • Conference proceedings
  • © 1988

Overview

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 329)

Included in the following conference series:

Conference proceedings info: CSL 1987.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

About this book

This volume contains the papers which were presented to the workshop "Computer-Science Logic" held in Karlsruhe on October 12-16, 1987. Traditionally Logic, or more specifically, Mathematical Logic splits into several subareas: Set Theory, Proof Theory, Recursion Theory, and Model Theory. In addition there is what sometimes is called Philosophical Logic which deals with topics like nonclassical logics and which for historical reasons has been developed mainly at philosphical departments rather than at mathematics institutions. Today Computer Science challenges Logic in a new way. The theoretical analysis of problems in Computer Science for intrinsic reasons has pointed back to Logic. A broad class of questions became visible which is of a basically logical nature. These questions are often related to some of the traditional disciplines of Logic but normally without being covered adequately by any of them. The novel and unifying aspect of this new branch of Logic is the algorithmic point of view which is based on experiences people had with computers. The aim of the "Computer-Science Logic" workshop and of this volume is to represent the richness of research activities in this field in the German-speaking countries and to point to their underlying general logical principles.

Similar content being viewed by others

Keywords

Table of contents (24 papers)

Other volumes

  1. CSL '87

Bibliographic Information

  • Book Title: CSL '87

  • Book Subtitle: 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987. Proceedings

  • Editors: Egon Börger, Hans Kleine Büning, Michael M. Richter

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/3-540-50241-6

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1988

  • Softcover ISBN: 978-3-540-50241-8Published: 14 September 1988

  • eBook ISBN: 978-3-540-45960-6Published: 30 June 2005

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: VIII, 348

  • Topics: Computer System Implementation, Logics and Meanings of Programs

Publish with us