Zum Inhalt springen

  4. Ronchi Della Rocca, Simona [Herausgeber:in] ; Computer Science Logic 22. 2013 Turin, Schloss Dagstuhl, Leibniz-Zentrum für Informatik, European Association for Computer Science Logic

    Computer Science Logic 2013 : 22nd Annual Conference of the EACSL, CSL '13, September 2-5, 2013, Torino, Italy

    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.

    Wadern, September, 2013

    Erschienen in: Leibniz international proceedings in informatics ; 23

  7. Rocca, Simona Ronchi [Sonstige Person, Familie und Körperschaft]

    Typed Lambda Calculi and Applications : 8th International Conference,TLCA 2007, Paris, France,June 26-28, 2007. 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, 2007

    Erschienen in: Lecture notes in computer science ; 4583

  8. Restivo, Antonio [Verfasser:in] ; Rocca, Simona Ronchi [Sonstige Person, Familie und Körperschaft]; Roversi, Luca [Sonstige Person, Familie und Körperschaft]

    Theoretical Computer Science : 7th Italian Conference, ICTCS 2001 Torino, Italy, October 4–6, 2001 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-Verlag Berlin Heidelberg, 2001

    Erschienen in: Lecture notes in computer science ; 2202

  10. Kerinec, Axel [Verfasser:in]; Manzonetto, Giulio [Verfasser:in]; Ronchi Della Rocca, Simona [Verfasser:in] ; Axel Kerinec and Giulio Manzonetto and Simona Ronchi Della Rocca [Mitwirkende:r]

    Call-By-Value, Again!

    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.

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

  11. Dawar, Anuj [Verfasser:in]; Kozen, Dexter [Verfasser:in]; Ronchi Della Rocca, Simona [Verfasser:in] ; Anuj Dawar and Dexter Kozen and Simona Ronchi Della Rocca [Mitwirkende:r]

    The Ackermann Award 2015

    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.

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

  14. Ronchi Della Rocca, Simona [Verfasser:in]; Dal Lago, Ugo [Verfasser:in]; Faggian, Claudia [Verfasser:in] ; Simona Ronchi Della Rocca and Ugo Dal Lago and Claudia Faggian [Mitwirkende:r]

    Solvability in a Probabilistic Setting (Invited Talk)

    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.

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

  15. De Benedetti, Erika [Verfasser:in] ; Lyon, École normale supérieure [Mitwirkende:r]; Università di Torino (Turin, Italie) [Mitwirkende:r]; Baillot, Patrick [Mitwirkende:r]; Ronchi Della Rocca, Simona [Mitwirkende:r]

    Linear logic, type assignment systems and implicit computational complexity ; Logique linéaire, systèmes de types et complexité implicite

    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.

    theses.fr, 2015-02-10

  16. Gaboardi, Marco [Verfasser:in] ; Vandoeuvre-les-Nancy, INPL [Mitwirkende:r]; Université de Torino - ITALIE [Mitwirkende:r]; Marion, Jean-Yves [Mitwirkende:r]; Ronchi Della Rocca, Simona [Mitwirkende:r]

    Linéarité : un outil analytique pour l'étude de la complexité et de la sémantique des langages de programmation ; Linearity : an analytic tool in the study of complexity and semantics of programming languages

    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.

    theses.fr, 2007-12-12

  17. Ronchi Della Rocca, Simona

    Preface

    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.

    Elsevier BV, 2016

    Erschienen in: Information and Computation, 248 (2016), Seite 1

  18. Ronchi Della Rocca, Simona

    Intersection Typed λ-calculus

    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.

    Elsevier BV, 2003

    Erschienen in: Electronic Notes in Theoretical Computer Science, 70 (2003) 1, Seite 163-181