Skip to contents

  5. Goncharov, Sergey [Author]; Milius, Stefan [Author]; Schröder, Lutz [Author]; Tsampas, Stelios [Author]; Urbat, Henning [Author] ; Sergey Goncharov and Stefan Milius and Lutz Schröder and Stelios Tsampas and Henning Urbat [Contributor]

    Higher-Order Mathematical Operational Semantics (Early Ideas)

    Articles
    View online
    Schließen
    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

  6. Goncharov, Sergey [Author]; Milius, Stefan [Author]; Schröder, Lutz [Author]; Tsampas, Stelios [Author]; Urbat, Henning [Author] ; Sergey Goncharov and Stefan Milius and Lutz Schröder and Stelios Tsampas and Henning Urbat [Contributor]

    Stateful Structural Operational Semantics

    Articles
    View online
    Schließen
    Close

    Bookmarks

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

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

  7. Urbat, Henning [Author]; Hausmann, Daniel [Author]; Milius, Stefan [Author]; Schröder, Lutz [Author] ; Henning Urbat and Daniel Hausmann and Stefan Milius and Lutz Schröder [Contributor]

    Nominal Büchi Automata with Name Allocation

    Articles
    View online
    Schließen
    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

  9. Hagedorn, Gregor [Author]; Baasch, Stefanie [Author]; Blöbaum, Anke [Author]; Brendel, Heiko [Author]; Hardt, Judith Nora [Author]; Heiland, Stefan [Author]; Klinsmann, Markus [Author]; Matthies, Ellen [Author]; Pfennig, Andreas [Author]; West, Christina [Author]; Wipfler, Bruno [Author]; Altermatt, Pietro P. [Author]; Baumgarten, Simon [Author]; Bergmann, Melanie [Author]; Brendel, Esther [Author]; Bronswijk, Katharina van [Author]; Creutzig, Felix [Author]; Daub, Claus-Heinrich [Author]; Dohm, Lea [Author]; Engel, Stefanie [Author]; Feilner, Markus [Author]; Glawe, Christoph [Author]; Hentschel, Karl-Martin [Author]; Jetzkowitz, Jens [Author]; [...]

    Scientists for Future empfiehlt eine repräsentative Klima-Bürger:innenversammlung im Jahr 2021 / Scientists for Future recommends a representative Climate Citizens' Assembly in 2021 (Version 1.1)

    Articles
    View online
    Schließen
    Close

    Bookmarks

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

    2021

    Published in: Zenodo ; 2021