Iteration theories
Subtitle: the equational logic of iterative processes
By: Stephen L. Bloom, Zoltán Ésik.
Contributors: Ésik, Zoltán, 1951-
Series: EATCS monographs on theoretical computer science
Publisher: Springer-Verlag; Springer Verlag
Published: 1993
Place of publication: Berlin; New York
Language: eng
Number of pages: 630
Subjects: Computer science -- Mathematics.; Iterative methods (Mathematics); Logic, Symbolic and mathematical.
Notes: Includes bibliographical references (p. [621]-630).