Logic-Based Program Synthesis and Transformation - 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016 (Q106245753)
Jump to navigation
Jump to search
academic conference
- 26th LOPSTR 2016: Edinburgh, UK
Language | Label | Description | Also known as |
---|---|---|---|
English | Logic-Based Program Synthesis and Transformation - 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016 |
academic conference |
|
Statements
LOPSTR 2016 (English)
1 reference
Logic-Based Program Synthesis and Transformation - 26th International Symposium (English)
1 reference
6 September 2016
1 reference
8 September 2016
1 reference
Identifiers
LOPSTR (26. : 2016 : Edinburgh)
1 reference
LOPSTR (26. : 2016 : Edinburgh)
1 reference
LOPSTR (26. : 2016 : Edinburgh)
1 reference