Logic Based Program Synthesis and Transformation, 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005 (Q106245758)
Jump to navigation
Jump to search
academic conference
- 15th LOPSTR 2005: London, UK
Language | Label | Description | Also known as |
---|---|---|---|
English | Logic Based Program Synthesis and Transformation, 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005 |
academic conference |
|
Statements
LOPSTR 2005 (English)
1 reference
Logic Based Program Synthesis and Transformation, 15th International Symposium (English)
1 reference
1 reference
7 September 2005
1 reference
9 September 2005
1 reference
Identifiers
LOPSTR (15 : 2005 : London)
1 reference
LOPSTR (15 : 2005 : London)
1 reference