Skip to contents

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

    Separating Sessions Smoothly

    Articles
    View online
    Schließen

    Access

    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

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

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

    A Cyclic Proof System for Full Computation Tree Logic

    Articles
    View online
    Schließen

    Access

    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

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