|
Books > Computing & IT > Computer programming > Programming languages
|
Buy Now
Computer Science Logic - 7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers (Paperback, 1994 ed.)
Loot Price: R1,600
Discovery Miles 16 000
|
|
|
Computer Science Logic - 7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers (Paperback, 1994 ed.)
Series: Lecture Notes in Computer Science, 832
Expected to ship within 10 - 15 working days
|
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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
