(Q106245753)
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