Iterative algebras: how iterative are they?

MaRDI QIDQ5454623zbMATH OpenFDO

Authors Jiří Adámek, Reinhard Börger, Stefan Milius, Jiří Velebil

Publication date 31 March 2008

Full work available at URL https://eudml.org/doc/128939, http://www.emis.de/journals/TAC/volumes/19/5/19-05abs.html

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

iterative algebrastrict solutionextensive categoryguarded equation

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Foundations, relations to logic and deductive systems (18A15)

Recommendations

• How iterative are iterative algebras?
• On Algebras with Iteration
• Iterative algebras
• Elgot algebras (extended abstract)
• Iterative algebras for a base

Cited in

(16)

• scientific article; zbMATH DE number 139634 (Why is no real title available?)
• Iterative factor algebras and induced metrics
• How iterative are iterative algebras?
• Fixed points in free process algebras. I
• Equational properties of iterative monads
• scientific article; zbMATH DE number 3847366 (Why is no real title available?)
• Coinductive Resumption Monads: Guarded Iterative and Guarded Elgot
• On functors preserving coproducts and algebras with iterativity
• Iterative algebras
• Elgot theories: a new perspective of iteration theories (extended abstract)
• Complete Elgot monads and coalgebraic resumptions
• Unguarded recursion on coinductive resumptions
• On Algebras with Iteration
• Unguarded recursion on coinductive resumptions
• A Description of Iterative Reflections of Monads (Extended Abstract)
• scientific article; zbMATH DE number 1543319 (Why is no real title available?)

This page was built for publication: Iterative algebras: how iterative are they?

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5454623)