|
Books > Computing & IT > Computer programming
|
Buy Now
Computer Science Logic - 6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers (Paperback, 1993 ed.)
Loot Price: R1,795
Discovery Miles 17 950
|
|
|
Computer Science Logic - 6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers (Paperback, 1993 ed.)
Series: Lecture Notes in Computer Science, 702
Expected to ship within 10 - 15 working days
|
This volume presents the proceedings of the Computer Science Logic
Workshop CSL '92, held in Pisa, Italy, in September/October 1992.
CSL '92 was the sixth of the series and the first one held as
Annual Conference of the European Association for Computer Science
Logic (EACSL). Full versions of the workshop contributions were
collected after their presentation and reviewed. On the basis of 58
reviews, 26 papers were selected for publication, and appear here
in revised final form. Topics covered in the volume include: Turing
machines, linear logic, logic of proofs, optimization problems,
lambda calculus, fixpoint logic, NP-completeness, resolution,
transition system semantics, higher order partial functions,
evolving algebras, functional logic programming, inductive
definability, semantics of C, classes for a functional language,
NP-optimization problems, theory of types and names, sconing and
relators, 3-satisfiability, Kleene's slash, negation-complete logic
programs, polynomial-time oracle machines, and monadic second-order
properties.
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!
|
You might also like..
|
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
(1)
