Computer Science Logic: 7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers - Lecture Notes in Computer Science 832 (Paperback)Egon Borger (volume editor)
- We can order this
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.
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Number of pages: 336
Weight: 1120 g
Dimensions: 279 x 216 x 18 mm
Edition: 1994 ed.
You may also be interested in...
Please sign in to write a review