Iterative algebras: how iterative are they?

zbMATH Open1137.68042MaRDI QIDQ5454623FDOQ5454623

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

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

Recommendations

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

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)

Cited In (16)

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

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)