More than 1,900 Springer Protocols eBooks at just $9.99 each! Get yours today>>

Monographs in Theoretical Computer Science. An EATCS Series

Iteration Theories

The Equational Logic of Iterative Processes

Authors: Bloom, Stephen L., Esik, Zoltan

Buy this book

eBook $109.00
price for USA (gross)
  • ISBN 978-3-642-78034-9
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $149.00
price for USA
  • ISBN 978-3-642-78036-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

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.

Table of contents (15 chapters)

Buy this book

eBook $109.00
price for USA (gross)
  • ISBN 978-3-642-78034-9
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $149.00
price for USA
  • ISBN 978-3-642-78036-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Iteration Theories
Book Subtitle
The Equational Logic of Iterative Processes
Authors
Series Title
Monographs in Theoretical Computer Science. An EATCS Series
Copyright
1993
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-642-78034-9
DOI
10.1007/978-3-642-78034-9
Softcover ISBN
978-3-642-78036-3
Series ISSN
1431-2654
Edition Number
1
Number of Pages
XV, 630
Topics