Iteration theories : the equational logic of iterative processes
Bloom, Stephen L.
Iteration theories : the equational logic of iterative processes - - Berlin : Springer-Verlag, 1993 1993 - xv,630 p. 23.5 cm - EATCS monographs on theoretical computer science .
3-540-56378-41
Computer science-Mathematics
Iterative methods (Mathematics)
Logic, Symbolic and mathematical
681.3.06:51 Blo
Iteration theories : the equational logic of iterative processes - - Berlin : Springer-Verlag, 1993 1993 - xv,630 p. 23.5 cm - EATCS monographs on theoretical computer science .
3-540-56378-41
Computer science-Mathematics
Iterative methods (Mathematics)
Logic, Symbolic and mathematical
681.3.06:51 Blo