(Q105693716)

13 February 2021

inception

1991

1 reference

13 February 2021

short name

LOPSTR (English)

1 reference

13 February 2021

title

International Workshop/Symposium on Logic-based Program Synthesis and Transformation (English)

1 reference

https://www.openresearch.org/wiki/LOPSTR

13 February 2021

described at URL

1 reference

https://www.openresearch.org/wiki/LOPSTR

Logic-Based Program Synthesis and Transformation - 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010

13 February 2021

has part(s)

20

1 reference

https://dblp.org/db/conf/lopstr/lopstr2010.html

Logic-Based Program Synthesis and Transformation - 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8-10, 2019

8 March 2021

29

1 reference

https://dblp.org/db/conf/lopstr/lopstr2019.html

Logic-Based Program Synthesis and Transformation - 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016

8 March 2021

26

1 reference

https://dblp.org/db/conf/lopstr/lopstr2016.html

Logic-Based Program Synthesis and Transformation - 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015

8 March 2021

25

1 reference

https://dblp.org/db/conf/lopstr/lopstr2015.html

Logic-Based Program Synthesis and Transformation, 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013

8 March 2021

23

1 reference

https://dblp.org/db/conf/lopstr/lopstr2013.html

Logic-Based Program Synthesis and Transformation - 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011

8 March 2021

21

1 reference

https://dblp.org/db/conf/lopstr/lopstr2011.html

Logic Based Program Synthesis and Transformation, 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005

8 March 2021

15

1 reference

https://dblp.org/db/conf/lopstr/lopstr2005.html

8 March 2021

Identifiers

1 reference

3 March 2021

1 reference

13 February 2021

Microsoft Academic ID

1 reference

Microsoft Academic Graph (English)

DOI

10.5281/ZENODO.2628216

WikiCFP conference series ID

13 February 2021

1970

1 reference