Iteration Theories: The Equational Logic of Iterative Processes

By Stephen L. Bloom and Stephen L. Bloom Zoltan Esik

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, guided through numerous theorems and applications, and shown that correctness logic is a special case of the equational logic of iteration theories.

• Format: Paperback
• Language: English
• ISBN: 3642780369
• ISBN13: 9783642780363
• Release Date: December 2011
• Publisher: Springer
• Length: 630 Pages
• Weight: 1.98 lbs.
• Dimensions: 1.3" x 6.1" x 9.2"