The workshop Computer Science Logic '90 was held at the Max-Planck-Haus in Heidelberg, Germany, October 1-5, 1990. It was the fourth in a series of worskhops, following CSL '89 at the University of Kaiserslautern (see LNCS 440), CSL '88 at the University of Duisberg (see LNCS 385), and CSL '87 at the University of Karlsruhe (see LNCS 329). This volume contains 24 papers, chosen by means of a review procedure from the 35 papers presented at the workshop, some of which were invited and some selected from a total of 89 submissions. The papers cover a wide range of topics arising from the applications of logic to computer science.

Bibliographic Information

Book Title: Computer Science Logic
Book Subtitle: 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings
Editors: Egon Börger, Hans Kleine Büning, Michael M. Richter, Wolfgang Schönfeld
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/3-540-54487-9
Publisher: Springer Berlin, Heidelberg
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1991
Softcover ISBN: 978-3-540-54487-6Published: 11 September 1991
eBook ISBN: 978-3-540-38401-4Published: 14 July 2005
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: VIII, 402
Topics: Mathematical Logic and Foundations, Applications of Mathematics, Theory of Computation, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Algorithm Analysis and Problem Complexity

Publish with us

Policies and ethics

Computer Science Logic

Overview

Access this book

Other ways to access

Table of contents (24 papers)

Front Matter

Keywords

About this book

Bibliographic Information

Publish with us

Search

Navigation