Improved Termination Analysis of CHR Using Self-sustainability Analysis (Q4909324)
From MaRDI portal
scientific article; zbMATH DE number 6144105
Language | Label | Description | Also known as |
---|---|---|---|
English | Improved Termination Analysis of CHR Using Self-sustainability Analysis |
scientific article; zbMATH DE number 6144105 |
Statements
Improved Termination Analysis of CHR Using Self-sustainability Analysis (English)
0 references
13 March 2013
0 references