×

zbMATH — the first resource for mathematics

Solutions of the iteration equation and extensions of the scalar iteration operation. (English) Zbl 0454.18011

MSC:
18C10 Theories (e.g., algebraic theories), structure, and semantics
68Q60 Specification and verification (program logics, model checking, etc.)
PDF BibTeX XML Cite
Full Text: DOI