Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected Papers - Lecture Notes in Computer Science 816 (Paperback)
  • Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected Papers - Lecture Notes in Computer Science 816 (Paperback)
zoom

Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected Papers - Lecture Notes in Computer Science 816 (Paperback)

(editor), (editor), (editor), (editor)
£72.00
Paperback 351 Pages / Published: 28/07/1994
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket
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.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783540582335
Number of pages: 351
Weight: 1130 g
Dimensions: 229 x 152 x 19 mm
Edition: 1994 ed.

You may also be interested in...

The C++ Programming Language
Added to basket
The Art Of R Programming
Added to basket
Data Analysis Using SQL and Excel
Added to basket
C++ Pocket Reference
Added to basket
Accelerated C++
Added to basket
£36.99
Paperback
C++ All-in-One For Dummies
Added to basket
C++ Primer
Added to basket
£44.49
Paperback
C Programming in Easy Steps
Added to basket
C Programming Absolute Beginner's Guide
Added to basket
Seven Languages in Seven Weeks
Added to basket
R Cookbook
Added to basket
£31.99
Paperback
C++ Templates
Added to basket
£59.49
Hardback
Learn To Program
Added to basket
£19.99
Paperback
Jumping Into C++
Added to basket
£22.00
Paperback
C Programming Language
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.