Zum Inhalt springen

  1. Glaser, Michael [Sonstige Person, Familie und Körperschaft]; Feuer, Johannes [Sonstige Person, Familie und Körperschaft]; Kelling, Petra [Sonstige Person, Familie und Körperschaft]; Greiner-Pol, Kurt [Sonstige Person, Familie und Körperschaft]; Lukowsky, Rolf [Sonstige Person, Familie und Körperschaft]; Kracheel, Fritz [Sonstige Person, Familie und Körperschaft]; Zimmering, Max [Sonstige Person, Familie und Körperschaft]; Medschinski, Ingeborg [Sonstige Person, Familie und Körperschaft]; Thiele, Erwin [Sonstige Person, Familie und Körperschaft]; Bethmann, Siegfried [Sonstige Person, Familie und Körperschaft]; Thiele, Karl-Heinz [Sonstige Person, Familie und Körperschaft]; Eisler, Hanns [Sonstige Person, Familie und Körperschaft]; Mellies, Otto [Sonstige Person, Familie und Körperschaft]; Fürnberg, Louis [Sonstige Person, Familie und Körperschaft]; Kuba [Sonstige Person, Familie und Körperschaft]; Asriel, Andre [Sonstige Person, Familie und Körperschaft]; Lienert, Frank [Sonstige Person, Familie und Körperschaft]; Kochan, Günter [Sonstige Person, Familie und Körperschaft]; Gerster, Ottmar [Sonstige Person, Familie und Körperschaft]; Eggers, Gerd [Sonstige Person, Familie und Körperschaft]; Dehler, Wolfgang [Sonstige Person, Familie und Körperschaft]; Hacks, Peter [Sonstige Person, Familie und Körperschaft]; Becher, Johannes Robert [Sonstige Person, Familie und Körperschaft]; Beger, Arndt [Sonstige Person, Familie und Körperschaft]; [...]

    Auferstanden (1 Tonkassette)

    Audios
    Schließen

    Merkliste

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

    Berlin: Deutsche Schallplatten, P 1990

  3. Melliès, Paul André [Verfasser:in] ; Duchamp, Gérard Henry Edmond (Organiser) [Sonstige Person, Familie und Körperschaft]; Kontsevich, Maxim (Organiser) [Sonstige Person, Familie und Körperschaft]; Koshevoy, Gleb (Organiser) [Sonstige Person, Familie und Körperschaft]; Ngoc Minh, Hoang Vincel (Organiser) [Sonstige Person, Familie und Körperschaft]

    Dialogue Games and Logical Proofs in String Diagrams

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

    [Erscheinungsort nicht ermittelbar]: Institut des Hautes Études Scientifiques (IHÉS), 2021

    Erschienen in: Combinatorics and Arithmetic for Physics (CAP7 20) ; (Jan. 2021)

  6. Stefanesco, Léo [Verfasser:in] ; Melliès, Paul-André [Sonstige Person, Familie und Körperschaft]

    Concurrent separation logic meets template games: Q/A Session A - Paper A6.C

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

    [Erscheinungsort nicht ermittelbar]: Center for Perspicuous Computing – TRR 248, 2020

    Erschienen in: Thirty-Fifth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2020 ; (Jan. 2020)

  7. Behr, Nicolas [Verfasser:in]; Melliès, Paul-André [Verfasser:in]; Zeilberger, Noam [Verfasser:in] ; Nicolas Behr and Paul-André Melliès and Noam Zeilberger [Mitwirkende:r]

    Convolution Products on Double Categories and Categorification of Rule Algebras

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

  8. Stefanesco, Léo [Verfasser:in] ; Université Paris Cité [Mitwirkende:r]; Melliès, Paul-André [Mitwirkende:r]

    Asynchronous and relational soundness theorems for concurrent separation logic ; Théorèmes de correction asynchrone et relationnelle de la logique de séparation concurrente

    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, 2021-11-12

  11. Mellies, Paul-Andre [Verfasser:in]; Murawski, Andrzej S. [Verfasser:in]; Schalk, Andrea [Verfasser:in]; Walukiewicz, Igor [Verfasser:in] ; Paul-Andre Mellies and Andrzej S. Murawski and Andrea Schalk and Igor Walukiewicz [Mitwirkende:r]

    10252 Abstracts Collection – Game Semantics and Program Verification

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

  12. Mellies, Paul-Andre [Verfasser:in]; Murawski, Andrzej S. [Verfasser:in]; Schalk, Andrea [Verfasser:in]; Walukiewicz, Igor [Verfasser:in] ; Paul-Andre Mellies and Andrzej S. Murawski and Andrea Schalk and Igor Walukiewicz [Mitwirkende:r]

    10252 Executive Summary – Game Semantics and Program Verification

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

  15. Vuilleumier, Louis [Verfasser:in] ; Université Paris Cité [Mitwirkende:r]; Université de Lausanne [Mitwirkende:r]; Melliès, Paul-André [Mitwirkende:r]; Duparc, Jacques [Mitwirkende:r]

    Continuous reductions on the Scott domain and decomposability conjecture ; Réductions continues sur le domaine de Scott et conjecture de la décomposabilité

    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, 2021-06-29

  16. Duchamp, Gérard Henry Edmond [Verfasser:in]; Iyudu, Natalia K. [Verfasser:in]; Melliès, Paul André [Verfasser:in]; Kerner, Richard [Verfasser:in]; Gaubert, Stéphane [Verfasser:in]; Rivasseau, Vincent [Verfasser:in]; Genz, Volker [Verfasser:in]; Grinberg, Darij [Verfasser:in]; Grigoryev, Dimitri [Verfasser:in]; Gurevich, Dimitry [Verfasser:in]; Manchon, Dominique [Verfasser:in]; Ngoc Minh, Hoang Vincel [Verfasser:in]; Ben Geloun, Joseph [Verfasser:in]; Behr, Nicolas [Verfasser:in]; Zeilberger, Noam [Verfasser:in] ; Institut des hautes études scientifiques Bures-sur-Yvette

    Combinatorics and Arithmetic for Physics (CAP7 20)

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

    [Bures-sur-Yvette]: [Institut des hautes études scientifiques (IHÉS)], 2021

  19. MELLIÈS, PAUL-ANDRÉ

    The parametric continuation monad

    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.

    Cambridge University Press (CUP), 2017

    Erschienen in: Mathematical Structures in Computer Science, 27 (2017) 5, Seite 651-680

  20. Melliès, Paul-André

    Dialogue Categories and Chiralities

    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.

    European Mathematical Society - EMS - Publishing House GmbH, 2016

    Erschienen in: Publications of the Research Institute for Mathematical Sciences, 52 (2016) 4, Seite 359-412