Take a photo of a barcode or cover
Read With Others
Book Information
351 pages • paperback • 1 edition
ISBN/UID: 9783540582335
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 28 Jul 1994
Description
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 increasing...
Community Reviews
Content Warnings
351 pages • paperback
ISBN/UID: 9783540582335
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 28 Jul 1994
Description
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 increasing...
Community Reviews
Content Warnings