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
Untersuchungen auf dem Gebiete der praktischen Mathematik
$59.99
Werkstoffkunde und Werkstoffprfung
$54.99
Molecular and Cellular Biology of Phagocytosis
$169.99
Christina Rossetti's Faithful Imagination
$39.99
Applied Civil Engineering Risk Analysis
$79.99
Sleep Disorders Medicine
$379.99
First-stage LISA Data Processing and Gravitational Wave Data Analysis
$109.99
Lebensfhrung im Spannungsfeld von Islam und Beruf
$74.99
Introduction to Operator Theory I
$39.99
The Space Shuttle Program
$54.99
The Emergent Firm
$27.99
50 Schlsselideen Literatur
$17.99
Feminist Methodologies
$109.99
Aid, Peacebuilding and the Resurgence of War
$54.99
Advances in Data Mining
$39.99
The French Communist Party and the Algerian War
$54.99
Exponentially Convergent Algorithms for Abstract Differential Equations
$59.99
New Technologies, Development and Application IV
$259.00
Chemistry and Biology of Pteridines and Folates
$129.00
So einfach ist Mathematik Gewhnliche Differentialgleichungen fr Anwender
$19.99
Heilpdagogik
$84.99
Der deutschsprachige Thriller
$84.99
Foundations of Probability Theory, Statistical Inference, and Statistical Theories of Science
$219.99
Die Kunst of Phonons
$44.99
Innovating Education in Technology-Supported Environments
$179.99
Kontinuum, Analysis, Informales Beitrge zur Mathematik und Philosophie von Leibniz
$37.99
Organizational Competence for Servitization
$54.99
Gender, Authenticity and Leadership
$109.99
Cracking Control on Early-Age Concrete Through Internal Curing
$179.99
Performance Engineering
$39.99
Ergodic Theory Introductory Lectures
$39.99
Exploring Gender at Work
$169.99
Investitionsrechnung klipp & klar
$19.99
Vertical Reference Systems
$219.99
From Operator Theory to Orthogonal Polynomials, Combinatorics, and Number Theory
$139.99
Was Ihr Gehirn glcklich macht ... und warum Sie genau das Gegenteil tun sollten
$29.99
Governance after Neoliberalism in Latin America
$39.99
The Snail and the Whale by Julia Donaldson
$8.99
Medicinal and Aromatic Plants II
$169.99
Percolation Theory and Ergodic Theory of Infinite Particle Systems
$39.99
