Zum Inhalt springen

  2. Hoelzel, Matthias [VerfasserIn] ; Grädel, Erich [AkademischeR BetreuerIn]; Hella, Lauri [AkademischeR BetreuerIn]

    Fragments of existential second-order logic and logics with team semantics

    Bücher
    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.

    Aachen: Universitätsbibliothek der RWTH Aachen, 2019

  6. Ahvonen, Veeti [VerfasserIn]; Heiman, Damian [VerfasserIn]; Hella, Lauri [VerfasserIn]; Kuusisto, Antti [VerfasserIn] ; Veeti Ahvonen and Damian Heiman and Lauri Hella and Antti Kuusisto [MitwirkendeR]

    Descriptive Complexity for Distributed Computing with Circuits

    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

  7. Hella, Lauri [VerfasserIn]; Kuusisto, Antti [VerfasserIn]; Meier, Arne [VerfasserIn]; Virtema, Jonni [VerfasserIn]

    Model checking and validity in propositional and modal inclusion logics

    Bücher
    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.

    Hannover: Gottfried Wilhelm Leibniz Universität Hannover, 2017 ; Hannover: Technische Informationsbibliothek (TIB), 2017

    Erschienen in: Leibniz International Proceedings in Informatics, LIPIcs ; 83 (2017), 32

  8. Hella, Lauri [VerfasserIn]; Kuusisto, Antti [VerfasserIn]; Meier, Arne [VerfasserIn]; Virtema, Jonni [VerfasserIn]

    Model checking and validity in propositional and modal inclusion logics - [published Version]

    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.

    Wadern : Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, 2017

    Erschienen in: Leibniz International Proceedings in Informatics, LIPIcs 83 (2017)

  9. Hella, Lauri [VerfasserIn]; Kuusisto, Antti [VerfasserIn]; Meier, Arne [VerfasserIn]; Virtema, Jonni [VerfasserIn] ; Lauri Hella and Antti Kuusisto and Arne Meier and Jonni Virtema [MitwirkendeR]

    Model Checking and Validity in Propositional and Modal Inclusion Logics

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