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
Natur neu entdeckt
$54.99
Teachers as Professional Learners
$119.99
Moment by Moment by Shakespeare
$109.99
Erzeugung interaktiver Bildverarbeitungssysteme im Dialog
$69.99
Landwirtschaftliche Akkumulationslasten und industrielle Entwicklung
$69.99
Integralgleichungen und Gleichungen mit unendlich vielen Unbekannten
$49.99
Physical Chemistry of Inorganic Crystalline Solids
$54.99
Immunotoxins
$259.00
Control Problems of Discrete-Time Dynamical Systems
$109.99
Boo Who?
$4.46
Umweltstandards
$79.99
Mechanics Down Under
$169.99
Medical Computer Vision
$39.99
Public Health Informatics and Information Systems
$129.00
Trust, Privacy and Security in Digital Business
$39.99
Ad Hoc Networks
$99.00
Electrochemistry of Insertion Materials for Hydrogen and Lithium
$109.99
Teleparallel Gravity
$109.99
Die Prfung der Textilien
$54.99
The Psychology of Silicon Valley
$23.00
Das CD-ROM-Buch
$59.99
Numerical Flow Simulation III
$129.00
Mensch-Maschine-Interaktion
$119.99
Air-Surface Exchange of Gases and Particles (2000)
$109.99
Institutionalist Theories of Money
$129.00
Metaverse Driven Intelligent Information Systems
$159.99
Hypoellipticity and Eigenvalue Asymptotics
$39.99
The Theory and Practice of Exchange Control in Germany
$39.99
Geschlechtstypische Identittsbildungsprozesse in der professionellen Sozialen Arbeit
$59.99
Grundlagen und Methodik der Mehrkrpersimulation
$29.99
Haemophilus, Actinobacillus, and Pasteurella
$219.99
Complications of CSF Shunting in Hydrocephalus
$159.99
Information Processing in Medical Imaging
$109.99
Das Glaukom
$44.99
Reliable Software Technologies - Ada-Europe 2004
$54.99
Use of Proxies in Paleoceanography
$379.99
Unbersichtliche Moderne?
$39.99
Collaborative Praxis and Contemporary Art Experiments in the MENASA Region
$54.99
Biological and Clinical Landscape of Meningiomas
$169.99
Un amigo de veras maravilloso
$5.21
