Visualization of CHR through Source-to-Source Transformation (Q5398049)
From MaRDI portal
scientific article; zbMATH DE number 6261532
Language | Label | Description | Also known as |
---|---|---|---|
English | Visualization of CHR through Source-to-Source Transformation |
scientific article; zbMATH DE number 6261532 |
Statements
25 February 2014
0 references
source-to-source transformation
0 references
constraint handling rules
0 references
visualization
0 references
Visualization of CHR through Source-to-Source Transformation (English)
0 references