Algebras of iteration theories

Journal of Computer and System Sciences

Volumn 27, Issue 2, 1983, Pages 291-303

  Esik Z ^a  

^a UNIVERSITY OF SZEGED   (Hungary)

Author keywords

[No Author keywords available]

Indexed keywords

MATHEMATICAL TECHNIQUES;

EID: 0020831365     PISSN: 00220000     EISSN: 10902724     Source Type: Journal    
DOI: 10.1016/0022-0000(83)90044-2     Document Type: Article

References (10)

1. Vector iteration in pointed iterative theories
2. Monadic computation and iterative algebraic theories
3. Identities in iterative and rational theories
4. On generalized iterative theories
5. Initial algebraic semantics and continuous algebras
6. Functorial semantics of algebraic theories
7. Fixed points and algebras with infinitely long expressions. I. Regular algebras, II.μ-clones of regular algebras
8. Fixed points and algebras with infinitely long expressions. I. Regular algebras, II.μ-clones of regular algebras
9. Unique fixed points vs least fixed points
10. Some fundamentals of orderalgebraic semantics