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

DOI10.1007/978-3-642-20551-4zbMATH Open1214.68005OpenAlexW2476654553WikidataQ57978154 ScholiaQ57978154MaRDI QIDQ532632

Author name not available (Why is that?)

Publication date: 5 May 2011

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

Full work available at URL: https://doi.org/10.1007/978-3-642-20551-4

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

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. 10th international workshop, LOPSTR 2000, London, GB, July 24--28, 2000. Selected papers

Uses Software

• Title not available (Why is that?)

Recommendations

• Logic-based program synthesis and transformation. 21st international symposium, LOPSTR 2011. Odense, Denmark, July 18--20, 2011. Revised selected papers 👍 👎
• 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. 23rd international symposium, LOPSTR 2013, Madrid, Spain, September 18--19, 2013. Revised selected papers 👍 👎
• Logic-based program synthesis and transformation. 25th international symposium, LOPSTR 2015, Siena, Italy, July 13--15, 2015. Revised selected papers 👍 👎
• Logic-based program synthesis and transformation. 27th international symposium, LOPSTR 2017, Namur, Belgium, October 10--12, 2017. Revised selected papers 👍 👎
• Logic-based program synthesis and transformation. 22nd international symposium, LOPSTR 2012, Leuven, Belgium, September 18--20, 2012. 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. 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 👍 👎
• Logic based program synthesis and transformation. 10th international workshop, LOPSTR 2000, London, GB, July 24--28, 2000. Selected papers 👍 👎

This page was built for publication: Logic-based program synthesis and transformation. 20th international symposium, LOPSTR 2010, Hagenberg, Austria, July 23--25, 2010. Revised selected papers

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