Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 1258)
Included in the following conference series:
Conference proceedings info: CSL 1996.
Buy print copy
Tax calculation will be finalised at checkout
Table of contents (28 papers)
-
Front Matter
Other volumes
-
Computer Science Logic
Keywords
About this book
The volume presents 26 revised full papers selected from a total of initially 75 papers submitted; also included are two refereed invited contributions. The volume addresses all current issues in the area of computer science logic research, and is thus a unique record of recent progress in the area.
Bibliographic Information
Book Title: Computer Science Logic
Book Subtitle: 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21 - 27, 1996, Selected Papers
Editors: Dirk Dalen, Marc Bezem
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/3-540-63172-0
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1997
Softcover ISBN: 978-3-540-63172-9Published: 18 June 1997
eBook ISBN: 978-3-540-69201-0Published: 02 July 2005
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: IX, 479
Topics: Computer System Implementation, Theory of Computation, Mathematical Logic and Formal Languages, Artificial Intelligence, Logics and Meanings of Programs