Solving Fixed Point Equations over Complete Semirings

DOI10.1142/9789813148208_0002zbMath1395.16050OpenAlexW2608740768MaRDI QIDQ4683183

Zoltán Ésik, Werner 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

iteration theoriesleast solutioncomplete commutative semiring

Mathematics Subject Classification ID

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

Related Items (2)

Equational Properties of Fixed Point Operations in Cartesian Categories: An Overview ⋮ Equational properties of fixed-point operations in cartesian categories: An overview

This page was built for publication: Solving Fixed Point Equations over Complete Semirings