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 |
|
$39.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Theory of Accretion Disks 2
$219.99
Berichte zu Pflanzenschutzmitteln 2008
$29.95
Function of Somatic Cells in the Testis
$39.99
International Handbook of Earthquake Engineering
$219.99
Philosophical Doctrines of the Andhakas
$39.99
Concepts in Cell Biology - History and Evolution
$249.99
Kant's Transcendental Imagination
$140.00
Essential Practice Guidelines in Primary Care
$169.00
Arbeitsschutz in der Berufsausbildung
$37.99
Sunny: Sunny Graphix Grades 6-8
$45.00
Ergebnisse der Inneren Medizin und Kinderheilkunde/Advances in Internal Medicine and Pediatrics
$69.99
Telekommunikationsanwendungen fr kleine und mittlere Unternehmen
$54.99
Quality
$84.99
The Economic Development of Bangladesh within a Socialist Framework
$219.99
New Aspects of Galaxy Photometry
$39.99
Grundlagen der Frdertechnik Elemente und Triebwerke
$89.00
Lehrer-Schler-Interaktion
$119.99
English Language Program Administration
$169.99
Equilibrium Statistical Mechanics of Lattice Models
$119.00
Erfolgreiche Abschlussarbeiten - Steuern und Rechnungslegung
$44.99
Friedrich Drrenmatts Der Besuch der alten Dame in New York
$59.99
The Merchant of Venice
$54.99
Corporate Governance and Sustainable Prosperity
$109.99
System Earth via Geodetic-Geophysical Space Techniques
$169.00
EJB Reviews 1990
$54.99
JavaScript Data Structures and Algorithms
$54.99
Computational Partial Differential Equations
$39.99
Doubled Haploid Production in Crop Plants
$219.99
Nanobiotechnology: A Multidisciplinary Field of Science
$199.99
Online-Wahlen
$29.99
Grundzge der Physikalischen Chemie in ihrer Beziehung zur Biologie
$59.99
Vibration, Acoustics and Strain Measurement
$159.99
Telecom Management in Emerging Economies
$109.99
Zahnradtechnik Stirnrad- Evolventenverzahnungen
$399.99
Introductory Psychology
$54.99
Exports, Foreign Direct Investment and Economic Development in China
$109.99
Corpuscles
$74.99
Technische Versicherungen
$59.99
Aspects of Lyme Borreliosis
$84.99
Zur Regulierung der Prostitution
$64.99
