Skip to main content

1993 | OriginalPaper | Buchkapitel

Iteration Theories

verfasst von : Stephen L. Bloom, Zoltán Ésik

Erschienen in: Iteration Theories

Verlag: Springer Berlin Heidelberg

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Iteration theories are a generalization of iterative theories. In iteration theories, the dagger operation can be applied to all morphisms f: n → n + p, producing a canonical solution of the iteration equation for f. The properties of iteration are captured equationally.

Metadaten
Titel
Iteration Theories
verfasst von
Stephen L. Bloom
Zoltán Ésik
Copyright-Jahr
1993
Verlag
Springer Berlin Heidelberg
DOI
https://doi.org/10.1007/978-3-642-78034-9_7

Premium Partner