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

Universal Algebra for Computer Scientists

Universal Algebra for Computer Scientists

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

A new model-theoretic approach to universal algebra is offered in this book. Written for computer scientists, it presents a systematic development of the methods and results of universal algebra that are useful in a variety of applications in computer science. The notation is simple and the concepts are clearly presented. The book concerns the algebraic characterization of axiomatic classes of algebras (equational, implicational, and universal Horn classes) by closure operators generalizing the famous Birkhoff Variety Theorem, and the algebraic characterization of the related theories. The book also presents a thorough study of term rewriting systems. Besides basic notions, the Knuth-Bendix completion procedure and termination proof methods are considered. A third main topic is that of fixpoint techniques and complete ordered algebras. Algebraic specifications of abstract data types and algebraic semantics of recursive program schemes are treated as applications. The book is self-contained and suitable both as a textbook for graduate courses and as a reference for researchers.

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

Single Product Purchase

$76.50
@ Link.springer.com with extra coupon Get Coupon & BUY

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
$84.99 $84.99

10% OFF
This deals requires coupon Get Code Here
$76.50
See Site In stock Visit Store

Similar Products

Responsible Corporate Governance

$149.00

Strategie und Erfolg von Fuballunternehmen

$79.99

Invertebrate Immunity

$169.00

Radar Absorbing Materials

$179.99

Microwave RF Antennas and Circuits

$219.99

Comprehensive Healthcare Simulation: Anesthesiology

$119.99

Evolution of Wild Emmer and Wheat Improvement

$219.99

Unmanned Aerial Vehicle Cellular Communications

$169.99

Kooperatives Projektmanagement

$29.99

Conference on Future Automotive Technology

$109.99

Imaging in Drug Discovery and Early Clinical Trials

$89.00

Transactions of the International Astronomical Union

$329.99

Die Lagereflexe des Menschen

$59.99

Mathematical Logic and Its Applications

$39.99

The Power to Name

$32.66

Sonderpdagogische Professionalitt

$54.99

Die Postbank

$69.99

Field Trip Guidebook on Chinese Sedimentary Geology

$219.99

Klimaresilienz aufbauen

$17.99

Selected Topics in Information Theory

$54.99

Apple Macintosh Encyclopedia

$54.99

Molecular Dynamics Analyses of Prion Protein Structures

$169.99

Weather Modeling and Forecasting of PV Systems Operation

$129.00

Computational Intelligence Techniques for Comparative Genomics

$54.99

Vom Wesen der deutschen Universitt

$99.99

Violence, Politics, and Gender in Early Modern England

$84.99

Serious Games Analytics

$199.99

The Glitter Dragons: Azmina, el dragn dorado de purpurina

$4.49

Cryptographic Hardware and Embedded Systems - CHES 2009

$39.99

Haschisch

$44.99

Stilistik fr Journalisten

$39.99

Fit in Organik

$59.99

A Course in Enumeration

$59.99

Major Aspects of Chinese Religion and Philosophy

$169.99

Commercial Law Aspects of Residential Mortgage Securitisation in Australia

$139.99

Optimierung von Produktentwicklungsprozessen

$44.99

Update on Childhood Asthma

$54.99

Dimensional Analysis Beyond the Pi Theorem

$139.99

Risikomanagement im Kontext der wertorientierten Unternehmensfhrung

$59.99

Nature and Space in Contemporary Scottish Writing and Art

$39.99