[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php

Bibliographic Item (1.0)

BloomEsik93

  1. Stephen L Bloom & Zoltan Esik
  2. Iteration Theories: Equational Logic of Iterative Processes
  3. EATCS monographs on Theoretical Computer Science Springer Verlag NY NY 1993 ISBN 0-387-56378-4 CR9505-0287 630 pages $109.00 Hardcover
  4. =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 uses POSIX regular expressions and ignores case)

Search for a specific bibliographic item by name.



To see the complete bibliography (1Mb+) select:[Bibliography]