Logic-based program synthesis and transformation. 16th international symposium, LOPSTR 2006, Venice, Italy, July 12--14, 2006. Revised selected papers. (Q2371883)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Logic-based program synthesis and transformation. 16th international symposium, LOPSTR 2006, Venice, Italy, July 12--14, 2006. Revised selected papers. |
scientific article |
Statements
Logic-based program synthesis and transformation. 16th international symposium, LOPSTR 2006, Venice, Italy, July 12--14, 2006. Revised selected papers. (English)
0 references
9 July 2007
0 references
