Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Higher-Order Algebra, Logic, and Term Rewriting

Higher-Order Algebra, Logic, and Term Rewriting

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783540485797
Condition
New
Product Description

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.

Available Colors
Available Sizes
1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$39.99
@ Link.springer.com     BUY Now

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
@ Link.springer.com
Contact Store Call Store Contact Support
$39.99 $39.99

$39.99
See Site In stock Visit Store

Similar Products

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