Computing least and greatest fixed points in absorptive semirings

DOI10.1007/978-3-030-88701-8_21OpenAlexW3211007717MaRDI QIDQ2695365

Matthias Naaf

Publication date: 30 March 2023

Full work available at URL: https://arxiv.org/abs/2106.00399

zbMATH Keywords

fixed-point computationsemiring provenanceabsorptive semirings

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites Work

• Provenance analysis for logic and games
• Graphs, dioids and semirings. New models and algorithms.
• Newtonian program analysis
• Fixed-point Elimination in the Intuitionistic Propositional Calculus
• Unnamed Item
• Unnamed Item

This page was built for publication: Computing least and greatest fixed points in absorptive semirings