Skip to contents

  3. Schmidt-Schauß, Manfred [Author]; Niehren, Joachim [Author]; Schwinghammer, Jan [Author]; Sabel, David [Author]

    Adequacy of compositional translations for observational semantics

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Publication Server of Goethe University Frankfurt am Main, 2009-02-28

  5. Schmidt-Schauß, Manfred [Author]; Niehren, Joachim [Author]; Schwinghammer, Jan [Author]; Sabel, David [Author]

    Adequacy of compositional translations for observational semantics

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Publication Server of Goethe University Frankfurt am Main, 2008-02-19

  6. Schmidt-Schauß, Manfred [Author]; Niehren, Joachim [Author]; Schwinghammer, Jan [Author]; Sabel, David [Author]

    Adequacy of compositional translations for observational semantics

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Publication Server of Goethe University Frankfurt am Main, 2008-04-15

  7. Schmidt-Schauß, Manfred [Author]; Niehren, Joachim [Author]; Schwinghammer, Jan [Author]; Sabel, David [Author]

    Adequacy of compositional translations for observational semantics

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Publication Server of Goethe University Frankfurt am Main, 2008-07-10

  8. Schmidt-Schauß, Manfred [Author]; Niehren, Joachim [Author]; Schwinghammer, Jan [Author]; Sabel, David [Author]

    Adequacy of compositional translations for observational semantics

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Publication Server of Goethe University Frankfurt am Main, 2008-10-14

  14. Müller, Fritz [Author] ; Wilhelm, Reinhard [Contributor]

    On confluence and semantic full abstraction of lambda calculus languages ; Über Konfluenz und semantische vollständige Abstraktion von Lambda-Kalkül-Sprachen

    Thesis
    View online
    Schließen
    Close

    Bookmarks

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

    Scientific publications of the Saarland University (UdS), 2016

  15. Palamidessi, Catuscia [Author] ; Glaser, Hugh [Other]; Meinke, Karl [Other]

    Principles of Declarative Programming : 10th International Symposium PLILP'98, Held Jointly with the 6th International Conference ALP'98, Pisa, Italy, September 16-18, 1998 Proceedings

    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, 1998

    Published in: Lecture notes in computer science ; 1490

  16. Böhm, C. [Author]

    Lambda-Calculus and Computer Science Theory : Proceedings of the Symposium held in Rome, March 25-27, 1975. IAC - CNR Istituto per le Applicazioni del Calcolo "Mauro Picone" of the Consiglio Nazionale delle Ricerche

    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, 1975

    Published in: Lecture notes in computer science ; 37