(Q106245757)
Statements
LOPSTR 2011 (English)
1 reference
Logic-Based Program Synthesis and Transformation - 21st International Symposium (English)
1 reference
1 reference
1 reference
18 July 2011
1 reference
20 July 2011
1 reference
Identifiers
LOPSTR (21 : 2011 : Odense)
1 reference
LOPSTR (21 : 2011 : Odense)
1 reference
LOPSTR (21 : 2011 : Odense)
1 reference