Iteration Theories

Name: Iteration Theories
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783642780363
Price: 105.0 EUR
Availability: InStock

The Equational Logic of Iterative Processes

Автор: Stephen L. Bloom, Zoltan Esik

Език:

Корици: С меки корици

Издател: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Наличност: Външен склад

Изпращаме след 5-8 дни

105.00 € 205.36 лв

This monograph contains the results of our joint research over the last ten years on the logic of th...

Информация за книгата

Автор

Stephen L. Bloom, Zoltan Esik

Език

Английски език

Корици

Книга - С меки корици

Издадена

2011

страници

630

EAN

9783642780363

ISBN

3642780369

Enbook ID

06888864

Издател

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Теглоt

972

Размери

155 x 235 x 35

Пълно описание

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.

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Iteration Theories

The Equational Logic of Iterative Processes

Информация за книгата

Пълно описание

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също