 |
|
|
Item Details
| Title:
|
ITERATION THEORIES
THE EQUATIONAL LOGIC OF ITERATIVE PROCESSES |
| By: |
Stephen L. Bloom, Zoltan Esik |
| Format: |
Hardback |
| List price:
|
£72.00 |
|
We currently do not stock this item, please contact the publisher directly for
further information.
|
|
|
|
|
|
| ISBN 10: |
3540563784 |
| ISBN 13: |
9783540563785 |
| Publisher: |
SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG |
| Pub. date: |
29 April, 1993 |
| Series: |
Monographs in Theoretical Computer Science : An Eatcs Series |
| Pages: |
645 |
| Description: |
This monograph provides a detailed investigation of the fixed point or iteration operation, which plays a fundamental role in the theory of computation. The reader is introduced to universal algebra, and shown that correctness logic is a special case of the equational logic of iteration theories. |
| Synopsis: |
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. |
| Illustrations: |
biography |
| Publication: |
Germany |
| Imprint: |
Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| Returns: |
Non-returnable |
|
|
|
 |
|
|
|
|
|
Little Worried Caterpillar (PB)
Little Green knows she''s about to make a big change - transformingfrom a caterpillar into a beautiful butterfly. Everyone is VERYexcited! But Little Green is VERY worried. What if being a butterflyisn''t as brilliant as everyone says?Join Little Green as she finds her own path ... with just a littlehelp from her friends.
|
|
All the Things We Carry PB
What can you carry?A pebble? A teddy? A bright red balloon? A painting you''ve made?A hope or a dream?This gorgeous, reassuring picture book celebrates all the preciousthings we can carry, from toys and treasures to love and hope. With comforting rhymes and fabulous illustrations, this is a warmhug of a picture book.
|
|
|
|