Iteration theories : equational logic of iterative processes /

Bibliographic Details
Other Authors:	Bloom, Stephen L., 1940-, Ésik, Zoltán, 1951-
Format:	Book
Language:	English
Published:	Berlin ; New York : Springer-Verlag, [1993]
Series:	EATCS monographs on theoretical computer science.
Subjects:	Computer science > Mathematics. Iterative methods (Mathematics) Logic, Symbolic and mathematical.

Remote Storage