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

Iteration Theories

Iteration Theories

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

This monograph contains the results of our joint research over the last ten years on the logic of the fixed point operation. The intended au dience consists of graduate students and research scientists interested in mathematical treatments of semantics. We assume the reader has a good mathematical background, although we provide some prelimi nary facts in Chapter 1. Written both for graduate students and research scientists in theoret ical computer science and mathematics, the book provides a detailed investigation of the properties of the fixed point or iteration operation. Iteration plays a fundamental role in the theory of computation: for example, in the theory of automata, in formal language theory, in the study of formal power series, in the semantics of flowchart algorithms and programming languages, and in circular data type definitions. It is shown that in all structures that have been used as semantical models, the equational properties of the fixed point operation are cap tured by the axioms describing iteration theories. These structures include ordered algebras, partial functions, relations, finitary and in finitary regular languages, trees, synchronization trees, 2-categories, and others.

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

Single Product Purchase

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

$84.99
See Site In stock Visit Store

Similar Products

Market Entry into the USA

$54.99

Computer Aided Systems Theory - EUROCAST '93

$39.99

New Un Peacekeeping

$54.99

Modernist Poetry, Gender and Leisure Technologies

$99.99

Biographie und Technikgeschichte

$59.99

Pro Hadoop

$39.99

Sustained Simulation Performance 2016

$109.99

Le genou ligamentaire

$54.99

Defining Enterprise Data and Analytics Strategy

$89.99

Ausweg Wachstum?

$49.95

PET/CT in Tuberculosis

$39.99

At Heaven's Door: What Shared Journeys to the Afterlife Teach About Dying Well and Living Better by William J. Peters

$26.00

Knstliche Intelligenz (KI) und Arbeit

$19.99

OpenMP: Enabling Massive Node-Level Parallelism

$59.99

Our Community: Haitian Heritage Classroom Collection Grade 1

$125.00

Statistical Quality Technologies

$159.99

Simultane Losgren- und Reihenfolgeplanung fr kontinuierliche Produktionslinien

$69.99

Bltter aus dem Tagebuche Ihrer Majestt der Knigin Victoria whrend des Aufenthaltes der Kniglich

$59.99

Elastic Optical Networks

$99.00

Combinatorial Algebraic Geometry

$59.99

Histopathology of the Endometrium

$84.99

The Double [3+2] Photocycloaddition Reaction

$84.99

The SPARC Technical Papers

$54.99

The Best of ICCAD

$329.99

Spray-Paint Mystery: The Case of the Missing Trophy

$4.46

Social Computing and Social Media

$54.99

Security in Embedded Devices

$89.00

Corporate Social Disclosure

$109.99

Biology of Depressive Disorders. Part A

$169.99

Federalist Government in Principle and Practice

$84.99

Yearbook of Intensive Care and Emergency Medicine 2001

$169.00

Logical Writings

$149.00

Classic Goosebumps: The Haunted Mask 2

$5.99

Numerical Semigroups and Applications

$119.99

Technologie/Technik Formelsammlung

$29.99

Mutmacher: Unternehmen strken durch mutige Fhrung

$39.99

Using Simulation Tools to Model Renewable Resources

$54.99

Microplastics in African and Asian Environments

$139.00

Fumonisins in Food

$169.99

Zivil- und strafrechtliche Unternehmensverantwortung fr Menschenrechtsverletzungen

$119.99