Zum Inhalt springen

  3. Danvy, Olivier [HerausgeberIn]; Mairson, Harry [HerausgeberIn]; Henglein, Fritz [HerausgeberIn]; Pettorossi, Alberto [HerausgeberIn]; Paige, Robert A. [GefeierteR]; Paige, Robert [Sonstige Person, Familie und Körperschaft]

    Automatic program development : a tribute to Robert Paige

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Dordrecht: Springer, 2008

  4. Pettorossi, Alberto [Sonstige Person, Familie und Körperschaft] ; META 3 1992 Uppsala

    Meta-programming in logic : third international workshop, META-92, Uppsala, Sweden, June 10 - 12, 1992 ; proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin [u.a.]: Springer, 1992 ; Online-Ausg., Berlin [u.a.]: Springer, 2006

    Erschienen in: Lecture notes in computer science ; 64900

  6. Pettorossi, Alberto [VerfasserIn]

    Logic Based Program Synthesis and Transformation : 11th International Workshop, LOPSTR 2001 Paphos, Cyprus, November 28–30, 2001 Selected Papers

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2002

    Erschienen in: Lecture notes in computer science ; 2372

  7. Pettorossi, Alberto [VerfasserIn]

    Meta-Programming in Logic : Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992. Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 1992

    Erschienen in: Lecture notes in computer science ; 649

  8. Fribourg, Laurent [HerausgeberIn]; Pettorossi, Alberto [GefeierteR] ; International Workshop on Verification and Program Transformation 8. 2020 Dublin, Open Publishing Association, Workshop on Horn Clauses for Verification and Synthesis 7. 2020 Dublin

    Proceedings 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis : Dublin, Ireland, 25-26th April 2020

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    [Waterloo, NSW]: [Open Publishing Association], 7th August 2020

    Erschienen in: Electronic proceedings in theoretical computer science ; 320

  9. Pettorossi, Alberto [VerfasserIn]; Proietti, Maurizio [VerfasserIn]; Senni, Valerio [VerfasserIn] ; Alberto Pettorossi and Maurizio Proietti and Valerio Senni [MitwirkendeR]

    Proofs of Program Properties via Unfold/Fold Transformations of Constraint Logic Programs

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2006

  16. Pettorossi, Alberto

    Logics of Programs and Their Applications: Towards a theory of parallelism and communications for increasing efficiency in applicative languages

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer Berlin Heidelberg, 1983

    Erschienen in: Logics of Programs and Their Applications

  17. Pettorossi, Alberto

    Automata, Languages and Programming: Comparing and putting together recursive path ordering, simplification orderings and Non-Ascending Property for termination proofs of term rewriting systems

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer Berlin Heidelberg, 1981

    Erschienen in: Automata, Languages and Programming