Skip to contents Flener, Pierre [Editor] ; LOPSTR 8 1998 Manchester Logic-based program synthesis and transformation : 8th international workshop, LOPSTR '98, Manchester, UK, June 15 - 19, 1998 ; selected papers Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1999 Published in: Lecture notes in computer science ; 1559 Malik, Robi [Author] Automatische Synthese diskreter Steuerungen aus logischen Spezifikationen - [Als Ms. gedr.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Aachen: Shaker, 1998 Published in: Berichte aus der Informatik Hanus, Michael [Editor] ; LOPSTR 18 2008 Valencia Logic-based program synthesis and transformation : 18th international symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008 ; revised selected papers Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2009 Published in: Lecture notes in computer science ; 5438 King, Andy [Other]; King, Andrew Malcolm [Editor] ; LOPSTR 17 2007 Kongens Lyngby Logic-based program synthesis and transformation : 17th international symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007 ; revised selected papers Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2008 Published in: Lecture notes in computer science ; 4915 De Schreye, Danny [Other]; DeSchreye, Danny [Editor] ; LOPSTR 19 2009 Coimbra Logic-based program synthesis and transformation : 19th international symposium, LOPSTR 2009, Coimbra, Portugal, September 2009 ; revised selected papers Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2010 Published in: Lecture notes in computer science ; 6037 Hill, Patricia M. [Editor] ; LOPSTR 15 2005 London Logic based program synthesis and transformation : 15th international symposium, LOPSTR 2005, London, UK, September 7-9, 2005 ; revised selected papers Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2006 Published in: Lecture notes in computer science ; 3901 Puebla, Germàn [Editor] ; LOPSTR 16 2006 Venedig Logic-based program synthesis and transformation : 16th international symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006 ; revised selected papers Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2007 Published in: Lecture notes in computer science ; 4407 Etalle, Sandro [Editor] ; LOPSTR 14 2004 Verona Logic based program synthesis and transformation : 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26 - 28, 2004; revised selected papers Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2005 Published in: Lecture notes in computer science ; 3573 Pettorossi, Alberto [Editor] ; LOPSTR 11 2001 Paphos Logic based program synthesis and transformation : 11th international workshop ; selected papers Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2002 Published in: Lecture notes in computer science ; 2372 Leuschel, Michael [Editor] ; LOPSTR 12 2002 Madrid Logic based program synthesis and transformation : 12th international workshop, Madrid, Spain, September 17 - 20, 2002 ; revised selected papers Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2003 Published in: Lecture notes in computer science ; 2664 Bruynooghe, Maurice [Editor] ; LOPSTR 13 2003 Uppsala Logic based program synthesis and transformation : 13th international symposium, LOPSTR 2003, Uppsala, Sweden, August 25 - 27, 2003 ; revised selected papers Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2004 Published in: Lecture notes in computer science ; 3018 Bruynooghe, Maurice [Editor] Program development in computational logic : a decade of research advances in logic-based program development Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2004 Published in: Lecture notes in computer science ; 3049 Bossi, Annalisa [Editor] ; LOPSTR 9 1999 Venedig Logic-based program synthesis and transformation : 9th international workshop ; selected papers Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg; New York; Barcelona; Hong Kong; London; Milan; Paris; Singapore; Tokyo: Springer, 2000 Published in: Lecture notes in computer science ; 1817 Fuchs, Norbert E. [Editor] ; LOPSTR 7 1997 Löwen Logic program synthesis and transformation : 7th international workshop, LOPSTR '97, Leuven, Belgium, July 1997; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg; New York [u.a.]: Springer, 1998 Published in: Lecture notes in computer science ; 1463 Alpuente, María [Editor] ; LOPSTR 20 2010 Hagenberg im Mühlkreis Logic-based program synthesis and transformation : 20th international symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010; revised selected papers Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2011 Published in: Lecture notes in computer science ; 6564 Hermenegildo, Manuel V. [Editor] ; SAS 9 2002 Madrid Static analysis : 9th international symposium ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2002 Published in: Lecture notes in computer science ; 2477 Giacobazzi, Roberto [Editor] ; SAS 11 2004 Verona Static analysis : 11th international symposium, SAS 2004, Verona, Italy, August 26 - 28, 2004 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2004 Published in: Lecture notes in computer science ; 3148 Leuschel, M. [Author] Logic Based Program Synthesis and Transformation : 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002, Revised Selected Papers Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 2003 Published in: Lecture notes in computer science ; 2664 Bruynooghe, Maurice [Author] Logic Based Program Synthesis and Transformation : 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004 Published in: Lecture notes in computer science ; 3018 Bruynooghe, Maurice [Author] ; Lau, Kung-Kiu [Other] Program Development in Computational Logic : A Decade of Research Advances in Logic-Based Program Development Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004 Published in: Lecture notes in computer science ; 3049
Flener, Pierre [Editor] ; LOPSTR 8 1998 Manchester Logic-based program synthesis and transformation : 8th international workshop, LOPSTR '98, Manchester, UK, June 15 - 19, 1998 ; selected papers Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1999 Published in: Lecture notes in computer science ; 1559
Malik, Robi [Author] Automatische Synthese diskreter Steuerungen aus logischen Spezifikationen - [Als Ms. gedr.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Aachen: Shaker, 1998 Published in: Berichte aus der Informatik
Hanus, Michael [Editor] ; LOPSTR 18 2008 Valencia Logic-based program synthesis and transformation : 18th international symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008 ; revised selected papers Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2009 Published in: Lecture notes in computer science ; 5438
King, Andy [Other]; King, Andrew Malcolm [Editor] ; LOPSTR 17 2007 Kongens Lyngby Logic-based program synthesis and transformation : 17th international symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007 ; revised selected papers Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2008 Published in: Lecture notes in computer science ; 4915
De Schreye, Danny [Other]; DeSchreye, Danny [Editor] ; LOPSTR 19 2009 Coimbra Logic-based program synthesis and transformation : 19th international symposium, LOPSTR 2009, Coimbra, Portugal, September 2009 ; revised selected papers Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2010 Published in: Lecture notes in computer science ; 6037
Hill, Patricia M. [Editor] ; LOPSTR 15 2005 London Logic based program synthesis and transformation : 15th international symposium, LOPSTR 2005, London, UK, September 7-9, 2005 ; revised selected papers Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2006 Published in: Lecture notes in computer science ; 3901
Puebla, Germàn [Editor] ; LOPSTR 16 2006 Venedig Logic-based program synthesis and transformation : 16th international symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006 ; revised selected papers Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2007 Published in: Lecture notes in computer science ; 4407
Etalle, Sandro [Editor] ; LOPSTR 14 2004 Verona Logic based program synthesis and transformation : 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26 - 28, 2004; revised selected papers Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2005 Published in: Lecture notes in computer science ; 3573
Pettorossi, Alberto [Editor] ; LOPSTR 11 2001 Paphos Logic based program synthesis and transformation : 11th international workshop ; selected papers Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2002 Published in: Lecture notes in computer science ; 2372
Leuschel, Michael [Editor] ; LOPSTR 12 2002 Madrid Logic based program synthesis and transformation : 12th international workshop, Madrid, Spain, September 17 - 20, 2002 ; revised selected papers Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2003 Published in: Lecture notes in computer science ; 2664
Bruynooghe, Maurice [Editor] ; LOPSTR 13 2003 Uppsala Logic based program synthesis and transformation : 13th international symposium, LOPSTR 2003, Uppsala, Sweden, August 25 - 27, 2003 ; revised selected papers Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2004 Published in: Lecture notes in computer science ; 3018
Bruynooghe, Maurice [Editor] Program development in computational logic : a decade of research advances in logic-based program development Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2004 Published in: Lecture notes in computer science ; 3049
Bossi, Annalisa [Editor] ; LOPSTR 9 1999 Venedig Logic-based program synthesis and transformation : 9th international workshop ; selected papers Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg; New York; Barcelona; Hong Kong; London; Milan; Paris; Singapore; Tokyo: Springer, 2000 Published in: Lecture notes in computer science ; 1817
Fuchs, Norbert E. [Editor] ; LOPSTR 7 1997 Löwen Logic program synthesis and transformation : 7th international workshop, LOPSTR '97, Leuven, Belgium, July 1997; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg; New York [u.a.]: Springer, 1998 Published in: Lecture notes in computer science ; 1463
Alpuente, María [Editor] ; LOPSTR 20 2010 Hagenberg im Mühlkreis Logic-based program synthesis and transformation : 20th international symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010; revised selected papers Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2011 Published in: Lecture notes in computer science ; 6564
Hermenegildo, Manuel V. [Editor] ; SAS 9 2002 Madrid Static analysis : 9th international symposium ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2002 Published in: Lecture notes in computer science ; 2477
Giacobazzi, Roberto [Editor] ; SAS 11 2004 Verona Static analysis : 11th international symposium, SAS 2004, Verona, Italy, August 26 - 28, 2004 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2004 Published in: Lecture notes in computer science ; 3148
Leuschel, M. [Author] Logic Based Program Synthesis and Transformation : 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002, Revised Selected Papers Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 2003 Published in: Lecture notes in computer science ; 2664
Bruynooghe, Maurice [Author] Logic Based Program Synthesis and Transformation : 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004 Published in: Lecture notes in computer science ; 3018
Bruynooghe, Maurice [Author] ; Lau, Kung-Kiu [Other] Program Development in Computational Logic : A Decade of Research Advances in Logic-Based Program Development Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004 Published in: Lecture notes in computer science ; 3049
> Location Skip to next facet Departmental Library DrePunct (17) Wert ausschließen Show more show less
> Language Skip to next facet English (42) Wert ausschließen German (1) Wert ausschließen Show more show less
> Subject Skip to next facet Computer science (20) Wert ausschließen Mathmatics (14) Wert ausschließen Technology (1) Wert ausschließen Show more show less
> Creator Skip to next facet Bruynooghe, Maurice (5) Wert ausschließen Bossi, Annalisa (3) Wert ausschließen Alpuente, María (2) Wert ausschließen Etalle, Sandro (2) Wert ausschließen Flener, Pierre (2) Wert ausschließen Fuchs, Norbert E. (2) Wert ausschließen Giacobazzi, Roberto (2) Wert ausschließen Hanus, Michael (2) Wert ausschließen Hill, Patricia M. (2) Wert ausschließen Hutchison, David (2) Wert ausschließen Kanade, Takeo (2) Wert ausschließen King, Andy (2) Wert ausschließen Kittler, Josef (2) Wert ausschließen Kleinberg, Jon (2) Wert ausschließen Lau, Kung-Kiu (2) Wert ausschließen Mattern, Friedemann (2) Wert ausschließen Mitchell, John C. (2) Wert ausschließen Naor, Moni (2) Wert ausschließen Nierstrasz, Oscar (2) Wert ausschließen Pandu Rangan, C. (2) Wert ausschließen Pettorossi, Alberto (2) Wert ausschließen Steffen, Bernhard (2) Wert ausschließen Sudan, Madhu (2) Wert ausschließen Terzopoulos, Demetri (2) Wert ausschließen Tygar, Doug (2) Wert ausschließen Vardi, Moshe Y. (2) Wert ausschließen Weikum, Gerhard (2) Wert ausschließen Albert, Elvira (1) Wert ausschließen Cousot, Patrick (1) Wert ausschließen De Schreye, Danny (1) Wert ausschließen DeSchreye, Danny (1) Wert ausschließen Falaschi, Moreno (1) Wert ausschließen Gabbrielli, Maurizio (1) Wert ausschließen Gupta, Gopal (1) Wert ausschließen Hermenegildo, Manuel V. (1) Wert ausschließen King, Andrew Malcolm (1) Wert ausschließen Kitzelmann, Emanuel (1) Wert ausschließen LOPSTR 11 2001 Paphos (1) Wert ausschließen LOPSTR 12 2002 Madrid (1) Wert ausschließen LOPSTR 13 2003 Uppsala (1) Wert ausschließen LOPSTR 14 2004 Verona (1) Wert ausschließen LOPSTR 15 2005 London (1) Wert ausschließen LOPSTR 16 2006 Venedig (1) Wert ausschließen LOPSTR 17 2007 Kongens Lyngby (1) Wert ausschließen LOPSTR 18 2008 Valencia (1) Wert ausschließen LOPSTR 19 2009 Coimbra (1) Wert ausschließen LOPSTR 20 2010 Hagenberg im Mühlkreis (1) Wert ausschließen LOPSTR 7 1997 Löwen (1) Wert ausschließen LOPSTR 8 1998 Manchester (1) Wert ausschließen LOPSTR 9 1999 Venedig (1) Wert ausschließen Leuschel, M. (1) Wert ausschließen Leuschel, Michael (1) Wert ausschließen Malik, Robi (1) Wert ausschließen Peña, Ricardo (1) Wert ausschließen Plasmeijer, Rinus (1) Wert ausschließen Proietti, Maurizio (1) Wert ausschließen Puebla, Germàn (1) Wert ausschließen Puebla, Germán (1) Wert ausschließen SAS 11 2004 Verona (1) Wert ausschließen SAS 9 2002 Madrid (1) Wert ausschließen Schmid, Ute (1) Wert ausschließen Schreye, Danny (1) Wert ausschließen Seki, Hirohisa (1) Wert ausschließen Vidal, Germán (1) Wert ausschließen Show more show less