default search action

• combined dblp search
• author search
• venue search
• publication search

Authors:

• no matches

• 

Venues:

• no matches

• 

Publications:

• no matches

• 

ask others

• Google
• Google Scholar
• Semantic Scholar
• Internet Archive Scholar
• CiteSeerX
• ORCID

• 
  Santiago Escobar, Laura Titolo:
  Logic-Based Program Synthesis and Transformation - 35th International Symposium, LOPSTR 2025, Rende, Italy, September 9-10, 2025, Proceedings. Lecture Notes in Computer Science 16117, Springer 2026, ISBN 978-3-032-04847-9 [contents]

• 
  Juliana Bowles, Harald Søndergaard:
  Logic-Based Program Synthesis and Transformation - 34th International Symposium, LOPSTR 2024, Milan, Italy, September 9-10, 2024, Proceedings. Lecture Notes in Computer Science 14919, Springer 2024, ISBN 978-3-031-71293-7 [contents]

• 
  Robert Glück, Bishoksan Kafle:
  Logic-Based Program Synthesis and Transformation - 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings. Lecture Notes in Computer Science 14330, Springer 2023, ISBN 978-3-031-45783-8 [contents]

• 
  Alicia Villanueva:
  Logic-Based Program Synthesis and Transformation - 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21-23, 2022, Proceedings. Lecture Notes in Computer Science 13474, Springer 2022, ISBN 978-3-031-16766-9 [contents]

• 
  Emanuele De Angelis, Wim Vanhoof:
  Logic-Based Program Synthesis and Transformation - 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7-8, 2021, Proceedings. Lecture Notes in Computer Science 13290, Springer 2022, ISBN 978-3-030-98868-5 [contents]

• 
  Maribel Fernández:
  Logic-Based Program Synthesis and Transformation - 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7-9, 2020, Proceedings. Lecture Notes in Computer Science 12561, Springer 2021, ISBN 978-3-030-68445-7 [contents]

• 
  Maurizio Gabbrielli:
  Logic-Based Program Synthesis and Transformation - 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8-10, 2019, Revised Selected Papers. Lecture Notes in Computer Science 12042, Springer 2020, ISBN 978-3-030-45259-9 [contents]

• 
  Fred Mesnard, Peter J. Stuckey:
  Logic-Based Program Synthesis and Transformation - 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers. Lecture Notes in Computer Science 11408, Springer 2019, ISBN 978-3-030-13837-0 [contents]

• 
  Fabio Fioravanti, John P. Gallagher:
  Logic-Based Program Synthesis and Transformation - 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers. Lecture Notes in Computer Science 10855, Springer 2018, ISBN 978-3-319-94459-3 [contents]

• 
  Manuel V. Hermenegildo, Pedro López-García:
  Logic-Based Program Synthesis and Transformation - 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers. Lecture Notes in Computer Science 10184, Springer 2017, ISBN 978-3-319-63138-7 [contents]

• 
  Moreno Falaschi:
  Logic-Based Program Synthesis and Transformation - 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers. Lecture Notes in Computer Science 9527, Springer 2015, ISBN 978-3-319-27435-5 [contents]

• 
  Maurizio Proietti, Hirohisa Seki:
  Logic-Based Program Synthesis and Transformation - 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers. Lecture Notes in Computer Science 8981, Springer 2015, ISBN 978-3-319-17821-9 [contents]

• 
  Gopal Gupta, Ricardo Peña:
  Logic-Based Program Synthesis and Transformation, 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers. Lecture Notes in Computer Science 8901, Springer 2014, ISBN 978-3-319-14124-4 [contents]

• 
  Elvira Albert:
  Logic-Based Program Synthesis and Transformation, 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers. Lecture Notes in Computer Science 7844, Springer 2013, ISBN 978-3-642-38196-6 [contents]

• 
  Germán Vidal:
  Logic-Based Program Synthesis and Transformation - 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers. Lecture Notes in Computer Science 7225, Springer 2012, ISBN 978-3-642-32210-5 [contents]

• 
  María Alpuente:
  Logic-Based Program Synthesis and Transformation - 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers. Lecture Notes in Computer Science 6564, Springer 2011, ISBN 978-3-642-20550-7 [contents]

• 
  Danny De Schreye:
  Logic-Based Program Synthesis and Transformation, 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers. Lecture Notes in Computer Science 6037, Springer 2010, ISBN 978-3-642-12591-1 [contents]

• 
  Michael Hanus:
  Logic-Based Program Synthesis and Transformation, 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers. Lecture Notes in Computer Science 5438, Springer 2009, ISBN 978-3-642-00514-5 [contents]

• 
  Andy King:
  Logic-Based Program Synthesis and Transformation, 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers. Lecture Notes in Computer Science 4915, Springer 2008, ISBN 978-3-540-78768-6 [contents]

• 
  Germán Puebla:
  Logic-Based Program Synthesis and Transformation, 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers. Lecture Notes in Computer Science 4407, Springer 2007, ISBN 978-3-540-71409-5 [contents]

• 
  Patricia M. Hill:
  Logic Based Program Synthesis and Transformation, 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers. Lecture Notes in Computer Science 3901, Springer 2006, ISBN 3-540-32654-5 [contents]

• 
  Sandro Etalle:
  Logic Based Program Synthesis and Transformation, 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers. Lecture Notes in Computer Science 3573, Springer 2005, ISBN 3-540-26655-0 [contents]

Preproceedings

• 
  Maurice Bruynooghe:
  Logic Based Program Synthesis and Transformation, 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers. Lecture Notes in Computer Science 3018, Springer 2004, ISBN 3-540-22174-3 [contents]

LOPSTR 2002 Home Page

• 
  Michael Leuschel:
  Logic Based Program Synthesis and Tranformation, 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20,2002, Revised Selected Papers. Lecture Notes in Computer Science 2664, Springer 2003, ISBN 3-540-40438-4 [contents]

• 
  Alberto Pettorossi:
  Logic Based Program Synthesis and Transformation, 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001, Selected Papers. Lecture Notes in Computer Science 2372, Springer 2001, ISBN 3-540-43915-3 [contents]

LOPSTR 2000 Home Page

• 
  John W. Lloyd, Verónica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey:
  Computational Logic - CL 2000, First International Conference, London, UK, 24-28 July, 2000, Proceedings. Lecture Notes in Computer Science 1861, Springer 2000, ISBN 3-540-67797-6 [contents]
• 
  Kung-Kiu Lau:
  Extended Abstracts of the 10th International Workshop on Logic-based Program Synthesis and Transformation, LOPSTR 2000, London, UK, July 24-28, 2000. Technical Report UMCS-00-6-1, Department of Computer Science, University of Manchester 2000 [contents]
• 
  Kung-Kiu Lau:
  Logic Based Program Synthesis and Transformation, 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000, Selected Papers. Lecture Notes in Computer Science 2042, Springer 2001, ISBN 3-540-42127-0 [contents]

LOPSTR 1999 Home Page

• 
  Annalisa Bossi:
  Logic Programming Synthesis and Transformation, 9th International Workshop, LOPSTR'99, Venezia, Italy, September 22-24, 1999, Selected Papers. Lecture Notes in Computer Science 1817, Springer 2000, ISBN 3-540-67628-7 [contents]

LOPSTR 1998 Home Page

• 
  Pierre Flener:
  Logic Programming Synthesis and Transformation, 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Proceedings. Lecture Notes in Computer Science 1559, Springer 1990, ISBN 3-540-65765-7 [contents]

• 
  Norbert E. Fuchs:
  Logic Programming Synthesis and Transformation, 7th International Workshop, LOPSTR'97, Leuven, Belgium, July 10-12, 1997, Proceedings. Lecture Notes in Computer Science 1463, Springer 1998, ISBN 3-540-65074-1 [contents]

• 
  John P. Gallagher:
  Logic Programming Synthesis and Transformation, 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, Proceedings. Lecture Notes in Computer Science 1207, Springer 1997, ISBN 3-540-62718-9 [contents]

• 
  Maurizio Proietti:
  Logic Programming Synthesis and Transformation, 5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995, Proceedings. Lecture Notes in Computer Science 1048, Springer 1996, ISBN 3-540-60939-3 [contents]

• 
  Laurent Fribourg, Franco Turini:
  Logic Programming Synthesis and Transformation - Meta-Programming in Logic. 4th Internation Workshops, LOPSTR'94 and META'94, Pisa, Italy, June 20-21, 1994, Proceedings. Lecture Notes in Computer Science 883, Springer 1994, ISBN 3-540-58792-6 [contents]

• 
  Yves Deville:
  Logic Program Synthesis and Transformation, Proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7-9 July 1993. Workshops in Computing, Springer 1994, ISBN 3-540-19864-4 [contents]

• 
  Kung-Kiu Lau, Tim Clement:
  Logic Program Synthesis and Transformation, Proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, UK, 2-3 July 1992. Workshops in Computing, Springer 1993, ISBN 3-540-19806-7 [contents]

• 
  Timothy Paul Clement, Kung-Kiu Lau:
  Logic Program Synthesis and Transformation, Proceedings of LOPSTR 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, UK, 4-5 July 1991. Workshops in Computing, Springer 1992, ISBN 3-540-19742-7 [contents]

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.

Unpaywalled article links

Add open access links from to the list of external document links (if available).

load links from unpaywall.org

Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.

Archived links via Wayback Machine

For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).

load content from archive.org

Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.

Reference lists

Add a list of references from , , and to record detail pages.

load references from crossref.org and opencitations.net

Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.

Citation data

Add a list of citing articles from and to record detail pages.

load citations from opencitations.net

Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.

OpenAlex data

Load additional information about publications from .

load data from openalex.org

Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.

last updated on 2025-11-08 22:07 CET by the dblp team

 all metadata released as open data under CC0 1.0 license

see also: Terms of Use | Privacy Policy | Imprint

dblp was originally created in 1993 at:

 

since 2018, dblp has been operated and maintained by:

 

the dblp computer science bibliography is funded and supported by: