Zum Inhalt springen

  7. Schnoor, Henning [Verfasser:in]; Hasselbring, Wilhelm [Verfasser:in]

    Comparing Static and Dynamic Weighted Software Coupling Metrics

    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.

    Basel: MDPI, 30 March 2020

    Erschienen in: Computers ; 9 (2020), 24

  10. Bauland, Michael [Verfasser:in]; Schneider, Thomas [Verfasser:in]; Schnoor, Henning [Verfasser:in]; Schnoor, Ilka [Verfasser:in]; Vollmer, Heribert [Verfasser:in]

    The complexity of generalized satisfiability for linear temporal logic

    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, 2009 ; Hannover: Technische Informationsbibliothek (TIB), 2009

    Erschienen in: Logical Methods in Computer Science ; 5 (2009), Nr. 1, S. 1-21

  11. Bauland, Michael [Verfasser:in]; Schneider, Thomas [Verfasser:in]; Schnoor, Henning [Verfasser:in]; Schnoor, Ilka [Verfasser:in]; Vollmer, Heribert [Verfasser:in]

    The complexity of generalized satisfiability for linear temporal logic - [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.

    Braunschweig : International Federation for Computational Logic, 2009

    Erschienen in: Logical Methods in Computer Science 5 (2009), Nr. 1

  15. Bauland, Michael [Verfasser:in]; Mundhenk, Martin [Verfasser:in]; Schneider, Thomas [Verfasser:in]; Schnoor, Henning [Verfasser:in]; Schnoor, Ilka [Verfasser:in]; Vollmer, Heribert [Verfasser:in]

    The Tractability of Model-checking for LTL: The Good, the Bad, and the Ugly Fragments

    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, 2009 ; Hannover: Technische Informationsbibliothek (TIB), 2009

    Erschienen in: Electronic Notes in Theoretical Computer Science ; 231 (2009), Nr. C, S. 277-292

  16. Bauland, Michael [Verfasser:in]; Mundhenk, Martin [Verfasser:in]; Schneider, Thomas [Verfasser:in]; Schnoor, Henning [Verfasser:in]; Schnoor, Ilka [Verfasser:in]; Vollmer, Heribert [Verfasser:in]

    The Tractability of Model-checking for LTL: The Good, the Bad, and the Ugly Fragments - [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.

    Amsterdam : Elsevier, 2009

    Erschienen in: Electronic Notes in Theoretical Computer Science 231 (2009), Nr. C

  17. Kontinen, Juha [Verfasser:in]; Müller, Julian-Steffen [Verfasser:in]; Schnoor, Henning [Verfasser:in]; Vollmer, Heribert [Verfasser:in]

    A van Benthem theorem for modal 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.

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

    Erschienen in: Leibniz International Proceedings in Informatics, LIPIcs ; 41 (2015), S. 277-291

  18. Kontinen, Juha [Verfasser:in]; Müller, Julian-Steffen [Verfasser:in]; Schnoor, Henning [Verfasser:in]; Vollmer, Heribert [Verfasser:in]

    A van Benthem theorem for modal team semantics - [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 für Informatik GmbH, 2015

    Erschienen in: Leibniz International Proceedings in Informatics, LIPIcs 41 (2015)

  19. Kontinen, Juha [Verfasser:in]; Müller, Julian-Steffen [Verfasser:in]; Schnoor, Henning [Verfasser:in]; Vollmer, Heribert [Verfasser:in] ; Juha Kontinen and Julian-Steffen Müller and Henning Schnoor and Heribert Vollmer [Mitwirkende:r]

    A Van Benthem Theorem for Modal Team Semantics

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

  20. Claus, Martin [Verfasser:in]; Gundlach, Sven Alexander [Verfasser:in]; Hasselbring, Wilhelm [Verfasser:in]; Jung, Reiner [Verfasser:in]; Rath, Willi [Verfasser:in]; Schnoor, Henning [Verfasser:in]

    Modularizing Earth system models for interactive simulation

    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.

    Springer Science and Business Media LLC, 2022