Zum Inhalt springen

  5. Arvind, Vikraman [VerfasserIn]; Köbler, Johannes [VerfasserIn]; Mundhenk, Martin [VerfasserIn]

    Lowness and the complexity of sparse and tally descriptions

    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.

    Ulm: Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik, 2009

    Erschienen in: Ulmer Informatik-Berichte ; 92,04

  6. Arvind, Vikraman [VerfasserIn]; Köbler, Johannes [VerfasserIn]; Mundhenk, Martin [VerfasserIn]

    Reliable reductions, high sets and low sets

    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.

    Ulm: Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik, 2009

    Erschienen in: Ulmer Informatik-Berichte ; 92,12

  7. Meier, Arne [VerfasserIn]; Mundhenk, Martin [VerfasserIn]; Thomas, Michael [VerfasserIn]; Vollmer, Heribert [VerfasserIn]

    The Complexity of Satisfiability for Fragments of CTL and CTL⋆

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

    Erschienen in: Electronic Notes in Theoretical Computer Science ; 223 (2008), Nr. C, S. 201-213

  8. Meier, Arne [VerfasserIn]; Mundhenk, Martin [VerfasserIn]; Thomas, Michael [VerfasserIn]; Vollmer, Heribert [VerfasserIn]

    The Complexity of Satisfiability for Fragments of CTL and CTL⋆ - [published Version]

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Amsterdam : Elsevier BV, 2008

    Erschienen in: Electronic Notes in Theoretical Computer Science 223 (2008), Nr. C

  9. Putzenlechner, Birgitta [VerfasserIn]; Koal, Philipp [VerfasserIn]; Kappas, Martin [VerfasserIn]; Löw, Markus [VerfasserIn]; Mundhenk, Philip Henrich [VerfasserIn]; Tischer, Alexander [VerfasserIn]; Wernicke, Jakob [VerfasserIn]; Koukal, Tatjana [VerfasserIn]

    Towards precision forestry : drought response from remote sensing-based disturbance monitoring and fine-scale soil information in Central Europe

    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.

    2023

    Erschienen in: The science of the total environment ; 880(2023), Artikel-ID 163114

  10. Beyersdorff, Olaf [VerfasserIn]; Meier, Arne [VerfasserIn]; Mundhenk, Martin [VerfasserIn]; Schneider, Thomas [VerfasserIn]; Thomas, Michael [VerfasserIn]; Vollmer, Heribert [VerfasserIn]

    Model checking CTL is almost always inherently sequential

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

    Erschienen in: Logical Methods in Computer Science ; 7 (2011), Nr. 2, 12

  11. Beyersdorff, Olaf [VerfasserIn]; Meier, Arne [VerfasserIn]; Mundhenk, Martin [VerfasserIn]; Schneider, Thomas [VerfasserIn]; Thomas, Michael [VerfasserIn]; Vollmer, Heribert [VerfasserIn]

    Model checking CTL is almost always inherently sequential - [published Version]

    Aufsätze
    Online ansehen
    Schließen

    Zugang

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

    Erschienen in: Logical Methods in Computer Science 7 (2011), Nr. 2

  12. Bauland, Michael [VerfasserIn]; Mundhenk, Martin [VerfasserIn]; Schneider, Thomas [VerfasserIn]; Schnoor, Henning [VerfasserIn]; Schnoor, Ilka [VerfasserIn]; Vollmer, Heribert [VerfasserIn]

    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

  13. Bauland, Michael [VerfasserIn]; Mundhenk, Martin [VerfasserIn]; Schneider, Thomas [VerfasserIn]; Schnoor, Henning [VerfasserIn]; Schnoor, Ilka [VerfasserIn]; Vollmer, Heribert [VerfasserIn]

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

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    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

  14. Arvind, Vikraman [Sonstige Person, Familie und Körperschaft]; Thierauf, Thomas [Sonstige Person, Familie und Körperschaft]; Han, Yijie [Sonstige Person, Familie und Körperschaft]; Hamachandra, L. [Sonstige Person, Familie und Körperschaft]; Köbler, Johannes [Sonstige Person, Familie und Körperschaft]; Lozano, Antoni [Sonstige Person, Familie und Körperschaft]; Mundhenk, Martin [Sonstige Person, Familie und Körperschaft]; Ogiwara, A. [Sonstige Person, Familie und Körperschaft]; Schöning, Uwe [Sonstige Person, Familie und Körperschaft]; Silvestri, Riccardo [Sonstige Person, Familie und Körperschaft]

    Reductions to sets of low information content

    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.

    Ulm: Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik, 2009

    Erschienen in: Ulmer Informatik-Berichte ; 91,08

  15. Arvind, Vikraman [VerfasserIn]; Han, Y. [VerfasserIn]; Hamachandra, L. [VerfasserIn]; Köbler, Johannes [VerfasserIn]; Lozano, A. [VerfasserIn]; Mundhenk, Martin [VerfasserIn]; Ogiwara, A. [VerfasserIn]; Schöning, Uwe [VerfasserIn]; Silvestri, R. [VerfasserIn]; Thierauf, Thomas [VerfasserIn]

    Reductions to sets of low information content

    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.

    Universität Ulm, 2016-03-14T15:19:54Z