Iteration Theories: The Equational Logic Of Iterative Processes
| Use attributes for filter ! | |
| Google books | books.google.com |
|---|---|
| Originally published | 1993 |
| Authors | Zoltán Ésik |
| Stephen L. Bloom | |
| Editors | Zoltán Ésik |
| Stephen L. Bloom | |
| Date of Reg. | |
| Date of Upd. | |
| ID | 2072159 |
About Iteration Theories: The Equational Logic Of Iterative Processes
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. . . .