Zum Inhalt springen

  3. Mahmood, Yasir [Verfasser:in]; Meier, Arne [Verfasser:in]

    Parameterised complexity of model checking and satisfiability in propositional dependence 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.

    Dordrecht [u.a.] : Springer Science + Business Media B.V, 2021

    Erschienen in: Annals of mathematics and artificial intelligence 90 (2022), Nr. 2-3 ; Annals of mathematics and artificial intelligence

  6. Hannula, Miika [Verfasser:in]; Kontinen, Juha [Verfasser:in]; Lück, Martin [Verfasser:in]; Virtema, Jonni [Verfasser:in]

    On quantified propositional logics and the exponential time hierarchy - [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.

    Waterloo, NSW : Open Publishing Association, 2016

    Erschienen in: Electronic Proceedings in Theoretical Computer Science, EPTCS 226 (2016)

  9. Mahmood, Yasir [Verfasser:in]; Meier, Arne [Verfasser:in]

    Parameterised complexity of model checking and satisfiability in propositional dependence 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, 2021 ; Hannover: Technische Informationsbibliothek (TIB), 2021

    Erschienen in: Annals of mathematics and artificial intelligence ; 90 (2022), Nr. 2-3, S. 271-296