Logic-Based Program Synthesis and Transformation - 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015 (Q106245755)
Jump to navigation
Jump to search
academic conference
- 25th LOPSTR 2015: Siena, Italy
Language | Label | Description | Also known as |
---|---|---|---|
English | Logic-Based Program Synthesis and Transformation - 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015 |
academic conference |
|
Statements
LOPSTR 2015 (English)
1 reference
Logic-Based Program Synthesis and Transformation - 25th International Symposium (English)
1 reference
1 reference
1 reference
13 July 2015
1 reference
15 July 2015
1 reference
Identifiers
LOPSTR (25. : 2015 : Siena)
1 reference
LOPSTR (25. : 2015 : Siena)
1 reference