Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
Higher-Order Algebra, Logic, and Term Rewriting
Best Price (Coupon Required):
Buy Higher-Order Algebra, Logic, and Term Rewriting for $36.00 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.
Set a price drop alert to never miss an offer.
Single Product Purchase
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$39.99 | $39.99 |
|
10% OFF
This deals requires coupon
|
$36.00 | See Site | In stock | Visit Store |
Product Details
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.
Reviews
Questions & Answers
Extracellular Vesicles
$139.00
Advances in Swarm Intelligence
$39.99
Vanished in Vermillion- The Real Story of South Dakota's Most Infamous Cold Case by Lou Raguse
$18.00
Karen's Haircut (Baby-Sitters Little Sister #8)
$5.24
Cooperation, Conflict and Consensus in the Organization of American States
$54.99
Einkommenssituation und Einkommensentwicklung in den strukturschwachen Verdichtungsgebieten Nordrhei
$69.99
Comprehensive Body Contouring
$129.99
Visual Languages and Applications
$39.99
Imaging of Brain Tumors with Histological Correlations
$89.00
Nanopharmaceuticals: Principles and Applications Vol. 3
$129.00
Responses of Plants to Soil Flooding
$199.99
Ontology in Heidegger and Deleuze
$54.99
Representations of Poverty and Place
$79.99
Diskrete Mathematik mit Grundlagen
$29.99
The Statistical Theory of Shape
$109.99
Video Games and Storytelling
$84.99
Innovation und Absatz
$69.95
Artificial Intelligence in Education
$99.99
Understanding Risk-Taking
$39.99
Standardization: Mathematical Methods in Assortment Determination
$39.99
From the Desk of Zoe Washington
$6.71
Musculoskeletal Tissue Regeneration
$299.99
Spektralanalyse und Filtertheorie
$49.99
Lehren und Lernen mit digitalen Mathematikwerkzeugen
$59.99
Cancer Nanotechnology
$109.99
Remembering the German Democratic Republic
$39.99
What the Philosophy of Biology Is
$39.99
Nanoscale Biocatalysis
$84.99
Proceedings on 18th International Conference on Industrial Systems IS20
$379.99
Modern Geometry Methods and Applications
$95.00
Imagining Disarmament, Enchanting International Relations
$54.99
Affekt und Zitat
$49.99
Enterprise Applications and Services in the Finance Industry
$44.99
Peace, Defence and Economic Analysis
$219.99
Perspektive 50plus?
$69.99
Markenbildung und Markenwechsel im deregulierten Strommarkt
$69.99
Best Practices for the Mentally Ill in the Criminal Justice System
$79.99
Periodic Solutions of the N-Body Problem
$34.99
Optimal Control of Energy Resources for State Estimation Over Wireless Channels
$54.99
Strategies for Sustainability of the Earth System
$249.99
