Loading [MathJax]/extensions/tex2jax.js

Parameterised Complexity of Model Checking and Satisfiability in Propositional Dependence Logic

Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review

Autorschaft

Organisationseinheiten

1 - 1 von 1Seitengröße: 20
Reihenfolge:

Publikationen

  1. 2022

  2. Veröffentlicht

    Parameterised complexity of model checking and satisfiability in propositional dependence logic

    Mahmood, Y. & Meier, A., März 2022, in: Annals of Mathematics and Artificial Intelligence. 90, 2-3, S. 271-296 26 S.

    Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review