Extensions of iterative congruences of free iterative algebras

DOI10.1016/0022-0000(83)90039-9zbMath0537.68023OpenAlexW2000958740MaRDI QIDQ792751

Francesco Parisi-Presicce

Publication date: 1983

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0022-0000(83)90039-9

zbMATH Keywords

regular treesiterative algebrasfixpoint equations

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01) Algebraic structures (08A99) Other classes of algebras (08C99)

Related Items (1)

Iterative factor algebras and induced metrics

Cites Work

• Unique fixed points vs. least fixed points
• Regular trees and the free iterative theory
• Scalar and vector iteration
• Initial Algebra Semantics and Continuous Algebras
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Extensions of iterative congruences of free iterative algebras