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�...
May 28, 2005 � We describe a formalization of the equational logic of flowchart algorithms which has been shown to apply to a large class of other iterative�...
In stock
This monograph provides a detailed investigation of the fixed point or iteration operation, which plays a fundamental role in the theory of computation.
Jul 31, 2012 � Written both for graduate students and research scientists in theoretical computer science and mathematics, this book provides a detailed�...
Iteration Theories: The Equational Logic of Iterative Processes
Book by Stephen L. Bloom and Zolt�n �sik
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... Google Books
Originally published: 1993
Authors: Stephen L. Bloom and Zolt�n �sik
People also ask
What is iterative logic?
What is iteration theory?
Apr 29, 1993 � This book provides a detailed investigation of the properties of the fixed point or iteration operation and shows that in all structures�...
Iteration Theories: The Equational Logic of Iterative Processes by ...
www.barnesandnoble.com › Books
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�...
Iteration Theories: The Equational Logic of Iterative Processes. Front Cover. Stephen L. Bloom, Zolt�n �sik. Springer-Verlag, 1993 - Computer science - 630�...
Apr 12, 2023 � Iteration theories : the equational logic of iterative processes. xv, 630 p. : 24 cm. Includes bibliographical references.
Iteration Theories: The Equational Logic of Iterative Processes � Iteration theories, data types, and hoare logic � Automated development of fundamental�...
Jan 1, 1989 � We describe a formalization of the equational logic of flowchart algorithms which has been shown to apply to a large class of other iterative�...