Solving fixed point equations over complete semirings

DOI10.1142/9789813148208_0002MaRDI QIDQ4683183zbMATH OpenOpenAlexFDO

Authors Zoltán Ésik, W. Kuich

Publication date 20 September 2018

Published in The Role of Theory in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1142/9789813148208_0002

zbMATH Keywords

complete commutative semiringiteration theoriesleast solution

Mathematics Subject Classification ID

Semirings (16Y60) Grammars and rewriting systems (68Q42)

Recommendations

• Solving fixed-point equations by derivation tree analysis
• scientific article; zbMATH DE number 3904794
• On Fixed Point Equations over Commutative Semirings
• Fixed points in free process algebras. II
• \textsc{FPsolve}: a generic solver for fixpoint equations over semirings

Cited in

(12)

• Fixed points in free process algebras. I
• Equational properties of fixed point operations in Cartesian categories: an overview
• Solving fixed-point equations by derivation tree analysis
• FPsolve: a generic solver for fixpoint equations over semirings
• Solving Linear Equations in *-continuous Action Lattices
• On Fixed Point Equations over Commutative Semirings
• scientific article; zbMATH DE number 3904794 (Why is no real title available?)
• scientific article; zbMATH DE number 7023675 (Why is no real title available?)
• Equational properties of fixed-point operations in Cartesian categories: an overview
• \textsc{FPsolve}: a generic solver for fixpoint equations over semirings
• Fixed point equations with parameters in the projective model
• Fixed points in free process algebras. II

This page was built for publication: Solving fixed point equations over complete semirings

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