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

Web Service Implementation and Composition Techniques

$39.99

The Life and Work of Leon Henkin

$54.99

Science Fiction Grades 6-8

$62.00

Mikroprozessortechnik

$34.99

Brgerbeteiligung an der Verwaltung am Beispiel der Hamburgischen Deputationen

$69.99

Fast Software Encryption

$39.99

Core Concepts in Acute Kidney Injury

$159.99

Imaging of Inflammation and Infection in Cardiovascular Diseases

$84.99

Invariants of Homology 3-Spheres

$159.99

Proceedings of International Conference on Recent Innovations in Computing

$249.99

A Short History of Europe

$2.80

Lecture Notes in Quantum Chemistry II

$139.99

Degenerative Geferkrankungen

$59.99

A Parallel Algorithm Synthesis Procedure for High-Performance Computer Architectures

$109.99

Control Instrumentation Systems

$169.99

Embedded Lead Users inside the Firm

$54.99

El mueco de jengibre

$2.99

Authoritarianism and Democracy in Europe, 1919-39

$169.99

High Performance Natural Fiber-Nanoclay Reinforced Cement Nanocomposites

$54.99

Mathematical Modeling and Control in Life and Environmental Sciences

$159.99

Neuropsychological Rehabilitation

$84.99

Neurosurgery

$169.99

The Social Economy of West Germany

$39.99

Data Mining Techniques in Sensor Networks

$39.99

Sustainability through Service

$54.99

Heavy Quark Effective Theory

$84.99

Nanopositioning Technologies

$109.99

Mikrosystemtechnik - Wann kommt der Marktdurchbruch?

$48.27

Recent Developments in Electrical and Electronics Engineering

$189.00

The Non-Equilibrium Green's Function Method for Nanoscale Device Simulation

$159.99

Islamic Ethics and Incidental Findings

$59.99

Betriebliche Kreditpolitik

$59.99

Successful Management

$39.99

Intensivmedizin

$54.99

The Nineteenth-Century English Novel

$54.99

Practical Mass Spectrometry

$39.99

Regional Helix Ecosystems and Sustainable Growth

$179.99

Atlas of Staging in Gynecological Cancer

$89.00

Oracle Certified Professional Java SE 7 Programmer Exams 1Z0-804 and 1Z0-805

$39.99

Modelling and Control of Mini-Flying Machines

$129.00