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

Instantiation Theory

Instantiation Theory

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

Instantiation Theory presents a new, general unification algorithm that is of immediate use in building theorem provers and logic programming systems. Instantiation theory is the study of instantiation in an abstract context that is applicable to most commonly studied logical formalisms. The volume begins with a survey of general approaches to the study of instantiation, as found in tree systems, order-sorted algebras, algebraic theories, composita, and instantiation systems. A classification of instantiation systems is given, based on properties of substitutions, degree of type strictness, and well-foundedness of terms. Equational theories and the use of typed variables are studied in terms of quotient homomorphisms and embeddings, respectively. Every instantiation system is a quotient system of a subsystem of first-order term instantiation. The general unification algorithm is developed as an application of the basic theory. Its soundness is rigorously proved, and its completeness and efficiency are verfied for certain classes of instantiation systems. Appropriate applications of the algorithm include unification of first-order terms, order-sorted terms, and first-order formulas modulo alpha-conversion, as well as equational unification using simple congruences.

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

Laboratory and Field Testing of Unsaturated Soils

$109.99

Jaagsiekte Sheep Retrovirus and Lung Cancer

$109.99

The Ischemic Heart

$299.99

Accountability and Transparency in the Modern Anthropocene

$169.99

New Business Models and Value Creation: A Service Science Perspective

$54.99

Performing Bodies in Pain

$109.99

Das nderungsrisiko in der Privaten Krankenversicherung

$49.99

Connexins

$169.99

Why Counterinsurgency Fails

$49.99

Subband and Wavelet Transforms

$219.99

Wahlenthaltung

$59.99

Handbuch Erzhlliteratur

$74.99

Neural Information Processing

$99.00

Imagining Time and Space in Universities

$54.99

Volkswirtschaftliche Grundlagen

$59.99

African Historical Archaeologies

$169.99

Atmosphrische Trbungs- und Wasserdampfbestimmungen nach Filtermessungen der Sonnenstrahlung

$54.99

Mitarbeitergesprche fhren

$44.99

Expert Oracle JDBC Programming

$39.99

Just-Right Leveled Readers Sports: B: Play Ball!

$4.46

Grundkurs Strahlenschutz

$69.99

Geschichte der politischen Bildung in der Bundesrepublik Deutschland 1945 1989/90

$49.99

Hemingway, Trauma and Masculinity

$99.99

National Broadcasting Under Siege

$44.99

Anwendung aperiodischer Testsignale zur Bestimmung des dynamischen Nachgiebigkeitsverhaltens von Wer

$44.99

Mobile Particulate Systems

$219.99

Jewish-Israeli National Identity and Dissidence

$39.99

Advances in Wireless Communications and Applications

$129.00

Implementierung organisatorischer Vernderungen

$44.99

Reforming the European Commission

$54.99

Programming Visual Illusions for Everyone

$34.99

Umweltschutz als sozialer Proze

$69.95

The Elusive Quest for Growth in Argentina

$54.99

Improving the Tax System amid the Rule-of-Law China

$139.99

The Utilization of Bioremediation to Reduce Soil Contamination: Problems and Solutions

$219.99

Judaism and Other Religions

$69.99

Physiological and biochemical aspects of heavy elements in our environment

$54.99

The Future of Consumption

$59.99

Surviving Bhopal

$39.99

Structural Optimization and Experimental Investigation of the Organic Rankine Cycle for Solar Therma

$54.99