Computing Least and Greatest Fixed Points in Absorptive Semirings
Naaf, Matthias Ferdinand (Corresponding author)
Cham, Switzerland : Springer (2021)
Buchbeitrag, Beitrag zu einem Tagungsband
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.)
Seite(n)/Artikel-Nr.: 344-361
Identifikationsnummern
- DOI: 10.1007/978-3-030-88701-8_21
- RWTH PUBLICATIONS: RWTH-2021-11341