International Workshop/Symposium on Logic-based Program Synthesis and Transformation (Q105693716)
Jump to navigation
Jump to search
conference series
- LOPSTR
Language | Label | Description | Also known as |
---|---|---|---|
English | International Workshop/Symposium on Logic-based Program Synthesis and Transformation |
conference series |
|
Statements
1 reference
1991
1 reference
LOPSTR (English)
1 reference
International Workshop/Symposium on Logic-based Program Synthesis and Transformation (English)
1 reference
1 reference
13 February 2021
1 reference
1 reference
1 reference
1 reference
1 reference
1 reference
Identifiers
1 reference
1 reference