International Symposium on Logic-Based Program Synthesis and Transformation

Editions

• LOPSTR2023
• LOPSTR2022
• LOPSTR2021
• LOPSTR2020
• LOPSTR2019
• LOPSTR2018
• LOPSTR2017
• LOPSTR2015
• LOPSTR2014
• LOPSTR2013
• LOPSTR2012
• LOPSTR 20112011
• LOPSTR2010
• LOPSTR2009
• LOPSTR2008
• LOPSTR2007
• LOPSTR2006
• LOPSTR2005
• LOPSTR2004
• LOPSTR2003
• LOPSTR2002
• LOPSTR2001
• LOPSTR2000
• LOPSTR1999
• LOPSTR1998
• LOPSTR1997
• LOPSTR1996
• LOPSTR1995
• LOPSTR1994
• LOPSTR1993
• LOPSTR1992
• LOPSTR1991
• LOPSTR1990

Aliases

• International Symposium on Logic-Based Program Synthesis and Transformation
• Logic-Based Program Synthesis and Transformation
• LOPSTR
• lopstr