Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 832)
Included in the following conference series:
Conference proceedings info: CSL 1993.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
The 21 full papers included were selected from a total of 62 submissions and essentially contribute to the whole area of computer science logic research. They are devoted to such topics as set constraints, lambda calculi, process algebras, program semantics, intuitionistic logics, fixed-point logics, the equivalence problem, Horn clauses, quantifiers, and proof tranformations.
Keywords
Table of contents (22 papers)
Other volumes
-
Computer Science Logic
Bibliographic Information
Book Title: Computer Science Logic
Book Subtitle: 7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers
Editors: Egon Börger, Yuri Gurevich, Karl Meinke
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/BFb0049319
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1994
Softcover ISBN: 978-3-540-58277-9Published: 20 July 1994
eBook ISBN: 978-3-540-48599-5Published: 11 April 2006
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: VIII, 336
Topics: Theory of Computation, Logics and Meanings of Programs, Mathematical Logic and Foundations, Mathematical Logic and Formal Languages, Computation by Abstract Devices, Artificial Intelligence