Logic Based Program Synthesis and Transformation : 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers /

Documenti analoghi

• Logic-Based Program Synthesis and Transformation : 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers /
  di: María Alpuente
  Pubblicazione: (2011, c2011)
• Logic Based Program Synthesis and Transformation : 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers /
  di: Sandro Etalle
  Pubblicazione: (2005, c2005)
• Logic-Based Program Synthesis and Transformation : 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers /
  di: Danny Schreye
  Pubblicazione: (2010, c2010)
• Logic-Based Program Synthesis and Transformation : 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers /
  di: Andy King
  Pubblicazione: (2008, c2008)
• Logic-Based Program Synthesis and Transformation : 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18–19, 2013 : Revised Selected Papers /
  Pubblicazione: (2014, c2014)