|
Books > Computing & IT > Computer programming > Programming languages
|
Buy Now
Higher-Order Algebra, Logic, and Term Rewriting - First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected Papers (Paperback, 1994 ed.)
Loot Price: R1,602
Discovery Miles 16 020
|
|
|
Higher-Order Algebra, Logic, and Term Rewriting - First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected Papers (Paperback, 1994 ed.)
Series: Lecture Notes in Computer Science, 816
Expected to ship within 10 - 15 working days
|
This volume contains the final revised versions of the best papers
presented at the First International Workshop on Higher-Order
Algebra, Logic, and Term Rewriting (HOA '93), held in Amsterdam in
September 1993. Higher-Order methods are increasingly applied in
functional and logic programming languages, as well as in
specification and verification of programs and hardware. The 15
full papers in this volume are devoted to the algebra and model
theory of higher-order languages, computational logic techniques
including resolution and term rewriting, and specification and
verification case studies; in total they provide a competently
written overview of current research and suggest new research
directions in this vigourous area.
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
