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

Einrichtungen

• Fachgruppe Mathematik [110000]
• Lehr- und Forschungsgebiet Mathematische Grundlagen der Informatik (Logik und Komplexität) [117220]