Zum Inhalt springen

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

    Adequacy of compositional translations for observational semantics

    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.

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

  4. Schmidt-Schauß, Manfred [VerfasserIn]; Machkasova, Elena [VerfasserIn]

    A finite simulation method in a non-deterministic call-by-need calculus with letrec, constructors and case

    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.

    Publication Server of Goethe University Frankfurt am Main, 2009-07-23

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

    Adequacy of compositional translations for observational semantics

    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.

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

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

    Adequacy of compositional translations for observational semantics

    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.

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

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

    Adequacy of compositional translations for observational semantics

    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.

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

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

    Adequacy of compositional translations for observational semantics

    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.

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

  9. Schmidt-Schauß, Manfred [VerfasserIn]; Machkasova, Elena [VerfasserIn]

    A finite simulation method in a non-deterministic call-by-need calculus with letrec, constructors and case

    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.

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

  11. Kutzner, Arne [VerfasserIn]

    Ein nichtdeterministischer call-by-need Lambda-Kalkül mit erratic choice : operationale Semantik, Programmtransformationen und Anwendungen

    Hochschulschriften
    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.

    Publication Server of Goethe University Frankfurt am Main, 2005-10-18

  12. Kutzner, Arne [VerfasserIn]

    ˜Einœ nichtdeterministischer call-by-need Lambda-Kalkül mit erratic choice : operationale Semantik, Programmtransformationen und Anwendungen

    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.

  14. Müller, Fritz [VerfasserIn] ; Wilhelm, Reinhard [MitwirkendeR]

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

    Hochschulschriften
    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.

    Scientific publications of the Saarland University (UdS), 2016

  15. Palamidessi, Catuscia [VerfasserIn] ; Glaser, Hugh [Sonstige Person, Familie und Körperschaft]; Meinke, Karl [Sonstige Person, Familie und Körperschaft]

    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

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

    Erschienen in: Lecture notes in computer science ; 1490

  16. Böhm, C. [VerfasserIn]

    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

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

    Erschienen in: Lecture notes in computer science ; 37

  17. Böhm, Corrado [Sonstige Person, Familie und Körperschaft]

    [Lambda]-calculus and computer science theory : proceedings of the symposium held in Rome, March 25 - 27, 1975

    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, 1975 ; Online-Ausg., Berlin [u.a.]: Springer, 2006

    Erschienen in: Lecture notes in computer science ; 3700