Computing Least and Greatest Fixed Points in Absorptive Semirings
Naaf, Matthias Ferdinand (Corresponding author)
Cham, Switzerland : Springer (2021)
Contribution to a book, Contribution to a conference proceedings
In: Relational and algebraic methods in computer science : 19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021 : proceedings / Uli Fahrenberg, Mai Gehrke, Luigi Santocanale, Michael Winter (eds.)
Page(s)/Article-Nr.: 344-361
Institutions
- Department of Mathematics [110000]
- Mathematical Fundamentals of Computer Science (Logic and Complexity) Teaching and Research Area [117220]
Identifier
- DOI: 10.1007/978-3-030-88701-8_21
- RWTH PUBLICATIONS: RWTH-2021-11341