Skip to contents

  4. Broy, Manfred [Editor] ; Advanced Study Institute on Logic of Programming and Calculi of Discrete Design 1986 Marktoberdorf

    Logic of programming and calculi of discrete design : International summer school; [proceedings of the NATO Advanced Study Institute on Logic of Programming and Calculi of Discrete Design, held in Marktoberdorf, Fed. Rep. of Germany, July 29 - Aug. 10, 1986]

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin; Heidelberg [u.a.]: Springer, 1987

    Published in: NATO: NATO ASI series / F ; 36

  6. Homer, Steven [Other]; Odifreddi, Piergiorgio [Editor] ; Centro Internazionale Matematico Estivo

    Logic and computer science : held at Montecatini Terme, Italy, June 20 - 28, 1988

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin; Heidelberg [u.a.]: Springer, 1990

    Published in: Centro Internazionale Matematico Estivo: Lectures given at the ... session of the Centro Internazionale Matematico Estivo (CIME) ; 1988,1 - Lecture notes in mathematics ; 1429

  9. Gabbrielli, Maurizio [Editor]

    Logic-Based Program Synthesis and Transformation : 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8–10, 2019, Revised Selected Papers - [1st ed. 2020.]

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Cham: Springer International Publishing, 2020. ; Cham: Imprint: Springer, 2020.

    Published in: Theoretical Computer Science and General Issues ; 12042- Springer eBook Collection

  12. Homer, Steven [Author] ; Nerode, Anil [Other]; Platek, Richard A. [Other]; Sacks, Gerald E. [Other]; Scedrov, Andre [Other]; Odifreddi, Piergiorgio [Editor]

    Logic and Computer Science : Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20–28, 1988

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 1990

    Published in: Lecture notes in mathematics ; 1429

  13. Proietti, Maurizio [Author] ; Seki, Hirohisa [Editor]

    Logic-Based Program Synthesis and Transformation : 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Cham [u.a.]: Springer, 2015

    Published in: Lecture notes in computer science ; 8981

  16. Degano, Pierpaolo [Other]; Meseguer, José [Other]; Nicola, Rocco [Other]

    Concurrency, Graphs and Models : Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2008

    Published in: Lecture notes in computer science ; 5065