Logic-Based Program Synthesis and Transformation (LOPSTR)
(brand of PLT)1 × Austria
3 × Belgium
1 × Cyprus
2 × Denmark
4 × Italy
1 × Portugal
3 × Spain
2 × Sweden
1 × The Netherlands
5 × United Kingdom
137 ×#source code
110 ×#logic programming
44 ×#synthesis
34 ×#proving
34 ×#using
33 ×#prolog
31 ×#analysis
28 ×#logic
25 ×#constraints
24 ×#semantics
Vocabulary: 639 words
494 papers in 28 issues:
- 2018
Revised Selected Papers of the 28th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2018)- 2017
- Revised Selected Papers of the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017)
- 2016
- Revised Selected Papers of the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016)
- 2015
- Revised Selected Papers of the 25th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2015)
- 2014
- Revised Selected Papers of the 24th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2014)
- 2013
- Revised Selected Papers of the 23rd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2013)
- 2012
- Revised Selected Papers of the 22nd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2012)
- 2011
- Revised Selected Papers of the 21st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2011)
- 2010
- Revised Selected Papers of the 20th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2010)
- 2009
- Revised Selected Papers of the 19th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2009)
- 2008
- Revised Selected Papers of the 18th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2008)
- 2007
- Revised Selected Papers of the 17th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2007)
- 2006
- Revised Selected Papers of the 16th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2006)
- 2005
- Revised Selected Papers of the 15th International Symposium on Logic Based Program Synthesis and Transformation (LOPSTR 2005)
- 2004
- Revised Selected Papers of the 14th International Symposium on Logic Based Program Synthesis and Transformation (LOPSTR 2004)
- 2003
- Revised Selected Papers of the 13th International Symposium on Logic Based Program Synthesis and Transformation (LOPSTR 2003)
- 2002
- Revised Selected Papers of the 12th International Workshop on Logic Based Program Synthesis and Transformation (LOPSTR 2002)
- 2001
- Selected Papers of the 11th International Workshop on Logic Based Program Synthesis and Transformation (LOPSTR 2001)
- 2000
- Extended Abstracts of the 10th International Workshop on Logic-based Program Synthesis and Transformation (LOPSTR 2000)
- Selected Papers of the 10th International Workshop on Logic Based Program Synthesis and Transformation (LOPSTR 2000)
- 1999
- Selected Papers of the Ninth International Workshop on Logic Programming Synthesis and Transformation (LOPSTR 1999)
- 1998
- Proceedings of the Eighth International Workshop on Logic Programming Synthesis and Transformation (LOPSTR 1998)
- 1997
- Proceedings of the Seventh International Workshop on Logic Programming Synthesis and Transformation (LOPSTR 1997)
- 1996
- Proceedings of the Sixth International Workshop on Logic Programming Synthesis and Transformation (LOPSTR 1996)
- 1995
- Proceedings of the Fifth International Workshop on Logic Programming Synthesis and Transformation (LOPSTR 1995)
- 1994
- Proceedings of the Fourth International Workshops on Logic Programming Synthesis and Transformation, and Meta-Programming in Logic (LOPSTR/META 1994)
- 1993
- Proceedings of the Third International Workshop on Logic Program Synthesis and Transformation (LOPSTR 1993)
- 1992
- Proceedings of the Second International Workshop on Logic Program Synthesis and Transformation (LOPSTR 1992)
- 1991
- Proceedings of the First International Workshop on Logic Program Synthesis and Transformation (LOPSTR 1991)
3 × Belgium
1 × Cyprus
2 × Denmark
4 × Italy
1 × Portugal
3 × Spain
2 × Sweden
1 × The Netherlands
5 × United Kingdom
137 ×#source code
110 ×#logic programming
44 ×#synthesis
34 ×#proving
34 ×#using
33 ×#prolog
31 ×#analysis
28 ×#logic
25 ×#constraints
24 ×#semantics
Vocabulary: 639 words
Revised Selected Papers of the 28th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2018)Revised Selected Papers of the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017)Revised Selected Papers of the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016)Revised Selected Papers of the 25th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2015)Revised Selected Papers of the 24th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2014)Revised Selected Papers of the 23rd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2013)Revised Selected Papers of the 22nd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2012)Revised Selected Papers of the 21st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2011)Revised Selected Papers of the 20th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2010)Revised Selected Papers of the 19th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2009)Revised Selected Papers of the 18th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2008)Revised Selected Papers of the 17th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2007)Revised Selected Papers of the 16th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2006)Revised Selected Papers of the 15th International Symposium on Logic Based Program Synthesis and Transformation (LOPSTR 2005)Revised Selected Papers of the 14th International Symposium on Logic Based Program Synthesis and Transformation (LOPSTR 2004)Revised Selected Papers of the 13th International Symposium on Logic Based Program Synthesis and Transformation (LOPSTR 2003)Revised Selected Papers of the 12th International Workshop on Logic Based Program Synthesis and Transformation (LOPSTR 2002)Selected Papers of the 11th International Workshop on Logic Based Program Synthesis and Transformation (LOPSTR 2001)Extended Abstracts of the 10th International Workshop on Logic-based Program Synthesis and Transformation (LOPSTR 2000)Selected Papers of the 10th International Workshop on Logic Based Program Synthesis and Transformation (LOPSTR 2000)Selected Papers of the Ninth International Workshop on Logic Programming Synthesis and Transformation (LOPSTR 1999)Proceedings of the Eighth International Workshop on Logic Programming Synthesis and Transformation (LOPSTR 1998)Proceedings of the Seventh International Workshop on Logic Programming Synthesis and Transformation (LOPSTR 1997)Proceedings of the Sixth International Workshop on Logic Programming Synthesis and Transformation (LOPSTR 1996)Proceedings of the Fifth International Workshop on Logic Programming Synthesis and Transformation (LOPSTR 1995)Proceedings of the Fourth International Workshops on Logic Programming Synthesis and Transformation, and Meta-Programming in Logic (LOPSTR/META 1994)Proceedings of the Third International Workshop on Logic Program Synthesis and Transformation (LOPSTR 1993)Proceedings of the Second International Workshop on Logic Program Synthesis and Transformation (LOPSTR 1992)Proceedings of the First International Workshop on Logic Program Synthesis and Transformation (LOPSTR 1991)