Computer Science Logic: 7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers - Lecture Notes in Computer Science 832 (Paperback)
  • Computer Science Logic: 7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers - Lecture Notes in Computer Science 832 (Paperback)
zoom

Computer Science Logic: 7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers - Lecture Notes in Computer Science 832 (Paperback)

(volume editor)
£62.99
Paperback 336 Pages / Published: 20/07/1994
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket
This volume contains the final versions of a collection of papers presented at the Annual Conference of the European Association for Computer Science Logic, CSL '93, held at Swansea, UK in September 1993.
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
ISBN: 9783540582779
Number of pages: 336
Weight: 1120 g
Dimensions: 279 x 216 x 18 mm
Edition: 1994 ed.

You may also be interested in...

The Art of Computer Programming
Added to basket
Concrete Mathematics
Added to basket
Coding Theory
Added to basket
£44.99
Paperback
A First Course in Coding Theory
Added to basket
The Algorithm Design Manual
Added to basket
£55.07
Mixed media product
The Lattice Boltzmann Equation
Added to basket
How to Think About Algorithms
Added to basket
The Elements of Statistical Learning
Added to basket
Bayesian Methods for Hackers
Added to basket
Networks
Added to basket
£52.00
Hardback
The End of Error
Added to basket
MATLAB Demystified
Added to basket
£21.99
Paperback
Foundation Mathematics
Added to basket
Discrete Mathematics
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.