(Q106245756)
Statements
LOPSTR 2013 (English)
1 reference
Logic-Based Program Synthesis and Transformation, 23rd International Symposium (English)
1 reference
1 reference
1 reference
18 September 2013
1 reference
19 September 2013
1 reference
Identifiers
LOPSTR (23. : 2013 : Madrid)
1 reference
LOPSTR (23. : 2013 : Madrid)
1 reference
LOPSTR (23. : 2013 : Madrid)
1 reference