• Sign In / Register
  • Help
  • Basket0
Iteration Theories: The Equational Logic of Iterative Processes - Monographs in Theoretical Computer Science. An EATCS Series (Paperback)
  • Iteration Theories: The Equational Logic of Iterative Processes - Monographs in Theoretical Computer Science. An EATCS Series (Paperback)
zoom

Iteration Theories: The Equational Logic of Iterative Processes - Monographs in Theoretical Computer Science. An EATCS Series (Paperback)

(author), (author)
£114.00
Paperback 630 Pages / Published: 16/12/2011
  • We can order this

Usually despatched within 3 weeks

  • This item has been added to your basket
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.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783642780363
Number of pages: 630
Weight: 971 g
Dimensions: 235 x 155 x 33 mm
Edition: Softcover reprint of the original 1st ed. 199

You may also be interested in...

Coding for Beginners in easy steps
Added to basket
Automate The Boring Stuff With Python
Added to basket
JavaScript Pocket Reference
Added to basket
Python For Dummies
Added to basket
£22.99
Paperback
C++ Primer
Added to basket
£43.99
Paperback
Python for Data Science For Dummies
Added to basket
C Programming in Easy Steps
Added to basket
SQL in Easy Steps
Added to basket
£10.99
Paperback
CSS3 in Easy Steps
Added to basket
£10.99
Paperback
Python for Kids for Dummies
Added to basket
SQL in 10 Minutes, Sams Teach Yourself
Added to basket
The C++ Programming Language
Added to basket
Python in Easy Steps
Added to basket
Code
Added to basket
£21.99
Paperback
Art of Agile Development
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.