Algebraic Notions of Termination (Q3003302)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Algebraic Notions of Termination |
scientific article |
Statements
Algebraic Notions of Termination (English)
0 references
26 May 2011
0 references
idempotent semirings
0 references
Kleene algebras
0 references
omega algebras
0 references
divergence semirings
0 references
modal operators
0 references
wellfoundedness
0 references
Noetherity
0 references
rewriting theory
0 references
program analysis
0 references
program termination
0 references
