Iteration Theories - The Equational Logic of Iterative Processes (Paperback, Softcover reprint of the original 1st ed. 1993)

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."

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Monographs in Theoretical Computer Science. An EATCS Series
Release date:	December 2011
First published:	1993
Authors:	Stephen L. Bloom • Zoltan Esik
Dimensions:	235 x 155 x 33mm (L x W x T)
Format:	Paperback
Pages:	630
Edition:	Softcover reprint of the original 1st ed. 1993
ISBN-13:	978-3-642-78036-3
Categories:	Books > Computing & IT > Computer programming > General Books > Science & Mathematics > Mathematics > Mathematical foundations > General
LSN:	3-642-78036-9
Barcode:	9783642780363

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!