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]