Logic based program synthesis and transformation. 14th international symposium, LOPSTR 2004, Verona, Italy, August 26--28, 2004. Revised selected papers. (Q2371885)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Logic based program synthesis and transformation. 14th international symposium, LOPSTR 2004, Verona, Italy, August 26--28, 2004. Revised selected papers. |
scientific article |
Statements
Logic based program synthesis and transformation. 14th international symposium, LOPSTR 2004, Verona, Italy, August 26--28, 2004. Revised selected papers. (English)
0 references
9 July 2007
0 references
