[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php
Bibliographic Item (1.0)
- Stephen L Bloom & Zoltan Esik
- Iteration Theories: Equational Logic of Iterative Processes
- EATCS monographs on Theoretical Computer Science Springer Verlag NY NY 1993 ISBN 0-387-56378-4 CR9505-0287 630 pages $109.00 Hardcover
- =MATHEMATICAL LOGIC ALGEBRA SEMANTICS
Blurb: detailed investigation of the fixpoint/iteration operation. Universal Algebra.
Correctness logic is a special case of the equational logic of Iteration theories.
Ten year program... see Bloom83
CR9505-0287: categegory theory, slow and casual, nonstandard power functor, doesn't discuss dynamic algebras, algebras with star, action algebras, or process algebras.
Search for bibliographic items containing a matching string.
Search for a specific bibliographic item by name.
To see the complete bibliography (1Mb+) select:[Bibliography]