Logic-based program synthesis and transformation. 20th international symposium, LOPSTR 2010, Hagenberg, Austria, July 23--25, 2010. Revised selected papers (Q532632)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Logic-based program synthesis and transformation. 20th international symposium, LOPSTR 2010, Hagenberg, Austria, July 23--25, 2010. Revised selected papers |
scientific article; zbMATH DE number 5884667
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Logic-based program synthesis and transformation. 20th international symposium, LOPSTR 2010, Hagenberg, Austria, July 23--25, 2010. Revised selected papers |
scientific article; zbMATH DE number 5884667 |
Statements
Logic-based program synthesis and transformation. 20th international symposium, LOPSTR 2010, Hagenberg, Austria, July 23--25, 2010. Revised selected papers (English)
0 references
5 May 2011
0 references
0.95207816
0 references
0.94932044
0 references
0.9469858
0 references
0.94469106
0 references
0.94432986
0 references
0 references
0.9415879
0 references
0.9400591
0 references
0.93702215
0 references
