Copied Higher-Order Algebra, Logic, and Term Rewriting
Higher-Order Algebra, Logic, and Term Rewriting
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.
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 |
|
$36.00 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Grid and Cooperative Computing - GCC 2004 Workshops
$109.99
Must Love Pets #1 Friends Fur-Ever
$5.99
Methoden der Filmsoziologie
$59.99
Theory of Stochastic Canonical Equations
$169.99
Extremal Combinatorics
$99.99
Reliability-Based Design of Engineered Wood Structures
$109.99
Nuclear Winter
$39.99
DNA Computing
$99.99
Shock & Vibration, Aircraft/Aerospace, and Energy Harvesting, Volume 9
$169.99
The Future of the Teaching and Learning of Algebra
$129.00
Creating Value in Financial Services
$129.00
Mathematical Problems in Biology
$54.99
Pedagogical Encounters in the Post-Anthropocene, Volume 1
$89.00
Communications and Networking in Education
$169.99
Contemporary Nuclear Shell Models
$39.99
Methanolpyrolyse und Methanoloxidation
$59.99
Data Management, Analytics and Innovation
$249.99
The Milan System for Reporting Salivary Gland Cytopathology
$99.99
Forging Chivalric Communities in Malorys Le Morte Darthur
$109.99
Morphological Astronomy
$129.00
The Designer's Guide to High-Purity Oscillators
$99.00
Industrial Membrane Separation Technology
$349.00
Oeuvres Scientifiques - Collected Papers I
$69.99
Trends in Functional Programming
$39.99
Learning and Teaching Real World Problem Solving in School Mathematics
$39.99
Gegen die Zahlenmystik an der groen Pyramide bei Gise
$59.99
The Transplantation and Replacement of Thoracic Organs
$329.99
Creating Preschool Television
$54.99
HCI International 2023 Posters
$169.99
Future Research Directions in Computational Intelligence
$249.99
Solving Combinatorial Optimization Problems in Parallel Methods and Techniques
$39.99
Kleine Meteoritenkunde
$49.99
Advanced Intelligent Systems for Sustainable Development (AI2SD2019)
$169.99
Strafrecht fr alle Semester
$39.95
Advanced Oxidation Processes in Dye-Containing Wastewater
$139.99
Feminist Cyberethics in Asia
$39.99
Tests and Proofs
$54.99
Laid-Off Workers in a Workers State
$39.99
Die Vorsokratiker
$19.99
Datenbanksysteme
$69.95
