Logic based program synthesis and transformation. 10th international workshop, LOPSTR 2000, London, GB, July 24--28, 2000. Selected papers

DOI10.1007/3-540-45142-0zbMATH Open0967.00076OpenAlexW2894752807MaRDI QIDQ5941712

Author name not available (Why is that?)

Publication date: 22 August 2001

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-45142-0

zbMATH Keywords

WorkshopPapersLondon (GB)Logic based program synthesisLogic based program transformationLOPSTR 2000

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Related Items (1)

Logic-based program synthesis and transformation. 20th international symposium, LOPSTR 2010, Hagenberg, Austria, July 23--25, 2010. Revised selected papers

Recommendations

• Logic-based program synthesis and transformation. 24th international symposium, LOPSTR 2014, Canterbury, UK, September 9--11, 2014. Revised selected papers 👍 👎
• Logic-based program synthesis and transformation. 20th international symposium, LOPSTR 2010, Hagenberg, Austria, July 23--25, 2010. Revised selected papers 👍 👎
• Logic based program synthesis and transformation. 11th international workshop, LOPSTR 2001, Paphos, Cyprus, November 28--30, 2001. Selected papers 👍 👎
• Logic based program synthesis and transformation. 12th international workshop, LOPSTR 2002, Madrid, Spain, September 17--20, 2002. Revised selected papers. 👍 👎
• Logic based program synthesis and transformation. 13th international symposium, LOPSTR 2003, Uppsala, Sweden, August 25--27, 2003. Revised selected papers. 👍 👎
• Logic-based program synthesis and transformation. 26th international symposium, LOPSTR 2016, Edinburgh, UK, September 6--8, 2016. Revised selected papers 👍 👎
• Logic-based program synthesis and transformation. 30th international symposium, LOPSTR 2020, Bologna, Italy, September 7--9, 2020. Proceedings 👍 👎
• Logic based program synthesis and transformation. 15th international symposium, LOPSTR 2005, London, UK, September 7--9, 2005. Revised selected papers. 👍 👎
• Logic based program synthesis and transformation. 14th international symposium, LOPSTR 2004, Verona, Italy, August 26--28, 2004. Revised selected papers. 👍 👎
• Logic-based program synthesis and transformation. 17th international symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23--24, 2007. Revised selected papers 👍 👎

This page was built for publication: Logic based program synthesis and transformation. 10th international workshop, LOPSTR 2000, London, GB, July 24--28, 2000. Selected papers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5941712)