Bloom, Stephen L. Esik, Zoltan.
Iteration Theories Equational Logic of Iterative Processes - Berlin Springer Verlag 1993 - 630p - EATCS Monographs on Theoretical Computer Science .
0 387 56378 4
Computer Science - Mathematics
Iterative Methods (Mathematics)
Logic, Symbolic and Mathematical
681.3 BLO
Iteration Theories Equational Logic of Iterative Processes - Berlin Springer Verlag 1993 - 630p - EATCS Monographs on Theoretical Computer Science .
0 387 56378 4
Computer Science - Mathematics
Iterative Methods (Mathematics)
Logic, Symbolic and Mathematical
681.3 BLO