Zum Inhalt springen

  1. Del vecchio, Stefano [Verfasser:in] ; Sorbonne Paris Cité [Mitwirkende:r]; Mogbil, Virgile [Mitwirkende:r]; Abrusci, Vito Michele [Mitwirkende:r]

    Algèbres de processus dans la Ludique : une interprétation du Calcul des Systèmes Communicants ; Process Algebras inside Ludics : an interpretation of the Calculus of Communicating Systems

    Hochschulschriften
    Online ansehen
    Schließen

    Merkliste

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

    theses.fr, 2018-09-19

  2. Terui, Kazushige

    Computational ludics

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

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

    Elsevier BV, 2011

    Erschienen in: Theoretical Computer Science, 412 (2011) 20, Seite 2048-2071

  3. Motte, Warren F.

    Literary Ludics

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

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

    Project MUSE, 1991

    Erschienen in: L'Esprit Créateur, 31 (1991) 4, Seite 3-5

  4. FLEURY, MARIE-RENEE; QUATRINI, MYRIAM

    First order in Ludics

    Aufsätze
    Online ansehen
    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), 2004

    Erschienen in: Mathematical Structures in Computer Science, 14 (2004) 2, Seite 189-213

  5. Girard, Jean-Yves

    From Foundations to Ludics

    Aufsätze
    Online ansehen
    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), 2003

    Erschienen in: Bulletin of Symbolic Logic, 9 (2003) 2, Seite 131-168

  6. Girard, Jean-Yves

    From Foundations to Ludics

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

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

    Association for Symbolic Logic, 2003

    Erschienen in: The Bulletin of Symbolic Logic, 9 (2003) 2, Seite 131-168

  7. Basaldella, Michele

    Ludics without Designs I: Triads

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

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

    Open Publishing Association, 2015

    Erschienen in: Electronic Proceedings in Theoretical Computer Science, 176 (2015), Seite 49-63