Iteration Theories
The Equational Logic of Iterative Processes
Buch in deiner Nähe kaufen
Beschreibung
This monograph provides a detailed investigation of the fixed point or iteration operation, which plays a fundamental role in the theory of computation. The reader is introduced to universal algebra, guided through numerous theorems and applications, and shown that correctness logic is a special case of the equational logic of iteration theories.
Autor*in
Stephen L. Bloom
Themen in »Iteration Theories«
Algebraische Semantik Fixed Point Theory Fixpunkttheorie Iteration Notation Programming Languages algorithms automata bisimulation computer science formal language logic programming language proof semantics