Skip to contents 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 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 Burghardt, Jochen [Author] Eine feinkörnige Sortendisziplin und ihre Anwendung in der Programmkonstruktion Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. München; Wien: Oldenbourg, 1993 Published in: Gesellschaft für Mathematik und Datenverarbeitung: Berichte der Gesellschaft für Mathematik und Datenverarbeitung ; 212 Bauer, Friedrich L. [Other] ; Technische Universität München CIP Language Group The Munich project CIP Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 19XX- Published in: Lecture notes in computer science ; . 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 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 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 Schmid, Ute [Author] Inductive synthesis of functional programs : universal planning, folding of finite programs, and schema abstraction by analogical reasoning 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 ; 2654 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 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 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 Biundo-Stephan, Susanne [Author] ; Biundo, Susanne [Other] Automatische Synthese rekursiver Programme als Beweisverfahren Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1992 Published in: Informatik-Fachberichte ; 302 Taha, Walid [Editor] ; SAIG 2 2001 Florenz Semantics, applications, and implementation of program generation : second international workshop ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2001 Published in: Lecture notes in computer science ; 2196 Wismüller, Roland [Author] Quellsprachorientiertes Debugging von optimierten Programmen - [Als Ms. gedr.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Aachen: Shaker, 1995 Published in: Berichte aus der Informatik Bertran, Miquel [Editor] ; International AMAST Workshop on Real Time Systems and Concurrent and Distributed Software 4 1997 Palma de Mallorca Transformation-based reactive systems development : 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS '97, Palma, Mallorca, Spain, May 21 - 23, 1997; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg; New York; Barcelona; Budapest; Hong Kong; London; Milan; Paris; Santa Clara; Singapore; Tokyo: Springer, 1997 Published in: Lecture notes in computer science ; 1231
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
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
Burghardt, Jochen [Author] Eine feinkörnige Sortendisziplin und ihre Anwendung in der Programmkonstruktion Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. München; Wien: Oldenbourg, 1993 Published in: Gesellschaft für Mathematik und Datenverarbeitung: Berichte der Gesellschaft für Mathematik und Datenverarbeitung ; 212
Bauer, Friedrich L. [Other] ; Technische Universität München CIP Language Group The Munich project CIP Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 19XX- Published in: Lecture notes in computer science ; .
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
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
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
Schmid, Ute [Author] Inductive synthesis of functional programs : universal planning, folding of finite programs, and schema abstraction by analogical reasoning 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 ; 2654
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
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
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
Biundo-Stephan, Susanne [Author] ; Biundo, Susanne [Other] Automatische Synthese rekursiver Programme als Beweisverfahren Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1992 Published in: Informatik-Fachberichte ; 302
Taha, Walid [Editor] ; SAIG 2 2001 Florenz Semantics, applications, and implementation of program generation : second international workshop ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2001 Published in: Lecture notes in computer science ; 2196
Wismüller, Roland [Author] Quellsprachorientiertes Debugging von optimierten Programmen - [Als Ms. gedr.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Aachen: Shaker, 1995 Published in: Berichte aus der Informatik
Bertran, Miquel [Editor] ; International AMAST Workshop on Real Time Systems and Concurrent and Distributed Software 4 1997 Palma de Mallorca Transformation-based reactive systems development : 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS '97, Palma, Mallorca, Spain, May 21 - 23, 1997; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg; New York; Barcelona; Budapest; Hong Kong; London; Milan; Paris; Santa Clara; Singapore; Tokyo: Springer, 1997 Published in: Lecture notes in computer science ; 1231
> Media type Skip to next facet Books (141) Wert ausschließen Thesis (5) Wert ausschließen Articles (1) Wert ausschließen Show more show less
> Availability Skip to next facet Open Shelves (3) Wert ausschließen Stack Collection (51) Wert ausschließen Ask for availability (3) Wert ausschließen Show more show less
> Location Skip to next facet Departmental Library DrePunct (54) Wert ausschließen Central Library (4) Wert ausschließen Show more show less
> Rights information Skip to next facet Attribution - Share Alike (CC BY-SA) (2) Wert ausschließen In Copyright (1) Wert ausschließen Show more show less
> Access State Skip to next facet Open Access (32) Wert ausschließen Without Specification (56) Wert ausschließen Show more show less
> Language Skip to next facet English (113) Wert ausschließen German (34) Wert ausschließen Show more show less
> Subject Skip to next facet Computer science (94) Wert ausschließen Mathmatics (36) Wert ausschließen Technology (8) Wert ausschließen Economics (2) Wert ausschließen Geography (1) Wert ausschließen Agriculture and forestry, horticulture, fisheries, housekeeping (1) Wert ausschließen Sociology (1) Wert ausschließen Show more show less
> Creator Skip to next facet Saraiva, João (7) Wert ausschließen Landhäußer, Mathias (6) Wert ausschließen Lämmel, Ralf (6) Wert ausschließen Visser, Joost (6) Wert ausschließen Bruynooghe, Maurice (5) Wert ausschließen Tichy, W. F. (5) Wert ausschließen Steffen, Bernhard (4) Wert ausschließen Bengeloune, Idriss (3) Wert ausschließen Bossi, Annalisa (3) Wert ausschließen Broy, Manfred (3) Wert ausschließen Giacobazzi, Roberto (3) Wert ausschließen Hoffmann, Berthold (3) Wert ausschließen Hutchison, David (3) Wert ausschließen Kanade, Takeo (3) Wert ausschließen Kittler, Josef (3) Wert ausschließen Kleinberg, Jon (3) Wert ausschließen Krieg-Brückner, Bernd (3) Wert ausschließen Mattern, Friedemann (3) Wert ausschließen Mitchell, John C. (3) Wert ausschließen Naor, Moni (3) Wert ausschließen Nierstrasz, Oscar (3) Wert ausschließen Pandu Rangan, C. (3) Wert ausschließen Schmid, Ute (3) Wert ausschließen Sudan, Madhu (3) Wert ausschließen Terzopoulos, Demetri (3) Wert ausschließen Tygar, Doug (3) Wert ausschließen Vardi, Moshe Y. (3) Wert ausschließen Weikum, Gerhard (3) Wert ausschließen Alpuente, María (2) Wert ausschließen Barthe, Gilles (2) Wert ausschließen Bertran, Miquel (2) Wert ausschließen Biundo, Susanne (2) Wert ausschließen Cousot, Radhia (2) Wert ausschließen Danvy, Olivier (2) Wert ausschließen Degano, Pierpaolo (2) Wert ausschließen Etalle, Sandro (2) Wert ausschließen Flener, Pierre (2) Wert ausschließen Fuchs, Norbert E. (2) Wert ausschließen Hankin, Chris (2) Wert ausschließen Hanus, Michael (2) Wert ausschließen Hermenegildo, Manuel V. (2) Wert ausschließen Hill, Patricia M. (2) Wert ausschließen Hu, Zhenjiang (2) Wert ausschließen Jürgensen, Claus (2) Wert ausschließen King, Andy (2) Wert ausschließen Knoop, Jens (2) Wert ausschließen Kobayashi, Naoki (2) Wert ausschließen Krellner, Björn (2) Wert ausschließen Lau, Kung-Kiu (2) Wert ausschließen Leroy, Xavier (2) Wert ausschließen Mogensen, Torben Æ (2) Wert ausschließen Ohori, Atsushi (2) Wert ausschließen Pettorossi, Alberto (2) Wert ausschließen Puebla, Germán (2) Wert ausschließen Rehof, Jakob (2) Wert ausschließen Rüthing, Oliver (2) Wert ausschließen Sands, David (2) Wert ausschließen Shao, Zhong (2) Wert ausschließen Siveroni, Igor (2) Wert ausschließen Taha, Walid (2) Wert ausschließen Vollmer, Jürgen (2) Wert ausschließen Weigelt, Sebastian (2) Wert ausschließen Yang, Hongseok (2) Wert ausschließen Zamulin, Alexandre V. (2) Wert ausschließen APLAS 4 2006 Sydney (1) Wert ausschließen APLAS 5 2007 Singapur (1) Wert ausschließen APLAS 7 2009 Seoul (1) Wert ausschließen APLAS 9 2011 Kending (1) Wert ausschließen Albert, Elvira (1) Wert ausschließen Bauer, Friedrich L. (1) Wert ausschließen Beierle, Christoph (1) Wert ausschließen Berndt, Jürgen (1) Wert ausschließen Biundo-Stephan, Susanne (1) Wert ausschließen Blazytko, Tim (1) Wert ausschließen Burghardt, Jochen (1) Wert ausschließen Chin, Wei-Ngan (1) Wert ausschließen Collard, Jean-François (1) Wert ausschließen Cousot, Patrick (1) Wert ausschließen Darte, Alain (1) Wert ausschließen De Schreye, Danny (1) Wert ausschließen DeSchreye, Danny (1) Wert ausschließen Deutschland Bundesministerium für Bildung und Forschung (1) Wert ausschließen Diehl, Stephan (1) Wert ausschließen Drangmeister, Robin (1) Wert ausschließen Dudenhefner, Andrej (1) Wert ausschließen Dybjer, Peter (1) Wert ausschließen ESOP 10 2001 Genua (1) Wert ausschließen ESOP 11 2002 Grenoble (1) Wert ausschließen ESOP 12 2003 Warschau (1) Wert ausschließen ETAPS 4 2001 Genua (1) Wert ausschließen ETAPS 5 2002 Grenoble (1) Wert ausschließen ETAPS 6 2003 Warschau (1) Wert ausschließen Eberhard Karls Universität Tübingen (1) Wert ausschließen Ehm, Thorsten (1) Wert ausschließen Eisenbiegler, Jörn (1) Wert ausschließen Fakultät für Elektrotechnik und Informationstechnik (1) Wert ausschließen Falaschi, Moreno (1) Wert ausschließen Ferber, Marvin (1) Wert ausschließen Fernandes, Joao M. (1) Wert ausschließen Fernandes, João M. (1) Wert ausschließen Show more show less
> Collection Skip to next facet Verbunddaten SWB (131) Wert ausschließen Lizenzfreie Online-Ressourcen (15) Wert ausschließen BASE - Bielefeld Academic Search Engine (9) Wert ausschließen Diss online (7) Wert ausschließen KITopen (Karlsruhe Institute of Technologie) (4) Wert ausschließen Scientific publications of the Saarland University (UdS) (3) Wert ausschließen Augsburg University Publication Server (OPUS) (1) Wert ausschließen Qucosa (1) Wert ausschließen SerWisS - Publication Server of the University of Applied Sciences and Arts Hannover (1) Wert ausschließen Show more show less