Zum Inhalt springen

  1. Fowler, Simon [VerfasserIn]; Kokke, Wen [VerfasserIn]; Dardha, Ornela [VerfasserIn]; Lindley, Sam [VerfasserIn]; Morris, J. Garrett [VerfasserIn] ; Simon Fowler and Wen Kokke and Ornela Dardha and Sam Lindley and J. Garrett Morris [MitwirkendeR]

    Separating Sessions Smoothly

    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

  2. Baelde, David [VerfasserIn]; Lick, Anthony [VerfasserIn]; Schmitz, Sylvain [VerfasserIn] ; David Baelde and Anthony Lick and Sylvain Schmitz [MitwirkendeR]

    A Hypersequent Calculus with Clusters for Tense Logic over Ordinals

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

  3. Afshari, Bahareh [VerfasserIn]; Leigh, Graham E. [VerfasserIn]; Menéndez Turata, Guillermo [VerfasserIn] ; Bahareh Afshari and Graham E. Leigh and Guillermo Menéndez Turata [MitwirkendeR]

    A Cyclic Proof System for Full Computation Tree Logic

    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

  4. Lucas, Christophe [VerfasserIn] ; Lyon, École normale supérieure [MitwirkendeR]; Pous, Damien [MitwirkendeR]

    Proof Theory of Riesz Modal Logic ; Théorie de la preuve de la Logique Modale de Riesz

    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, 2022-09-16