B
Bernhard Moeller
Researcher at University of Augsburg
Publications - 2
Citations - 57
Bernhard Moeller is an academic researcher from University of Augsburg. The author has contributed to research in topics: Modal operator & Algebraic number. The author has an hindex of 2, co-authored 2 publications receiving 55 citations.
Papers
More filters
Journal ArticleDOI
Algebraic Notions of Termination
TL;DR: Modal semirings are powerful tools for reasoning algebraically about the finite and infinite dynamics of programs and transition systems and are used in calculational proofs of classical theorems of rewriting theory.
Journal ArticleDOI
Algebraic Notions of Termination
TL;DR: In this paper, five algebraic notions of termination are formalised, analysed and compared: wellfoundedness or noetherity, L\"ob's formula, absence of infinite iteration, and absence of divergence and normalisation.