Auflistung Fakultät für Elektrotechnik und Informatik nach Autor/in "36993d85-e1d3-4dfd-8beb-8e6c06793f7e"

Auflistung Fakultät für Elektrotechnik und Informatik nach Autor/in "36993d85-e1d3-4dfd-8beb-8e6c06793f7e"

Sortiert nach: Sortierung: Ergebnisse:

  • Parameterised complexity of model checking and satisfiability in propositional dependence logic 
    Mahmood, Yasir; Meier, Arne (Dordrecht [u.a.] : Springer Science + Business Media B.V, 2021)
    Dependence Logic was introduced by Jouko Väänänen in 2007. We study a propositional variant of this logic (PDL) and investigate a variety of parameterisations with respect to central decision problems. The model checking ...
  • Parameterized aspects of team-based formalisms and logical inference 
    Mahmood, Yasir (Hannover : Institutionelles Repositorium der Leibniz Universität Hannover, 2022)
    Parameterized complexity is an interesting subfield of complexity theory that has received a lot of attention in recent years. Such an analysis characterizes the complexity of (classically) intractable problems by pinpointing ...
  • Parameterized complexity of weighted team definability 
    Kontinen, Juha; Mahmood, Yasir; Meier, Arne; Vollmer, Heribert (Cambridge : Cambridge Univ. Press, 2024)
    In this article, we study the complexity of weighted team definability for logics with team semantics. This problem is a natural analog of one of the most studied problems in parameterized complexity, the notion of weighted ...

Suche im Repositorium


Durchblättern

Mein Nutzer/innenkonto

Nutzungsstatistiken