Parameterised Complexity of Model Checking and Satisfiability in Propositional Dependence Logic

Mahmood, Y. & Meier, A., 2020, Foundations of Information and Knowledge Systems - 11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17-21, 2020, Proceedings. Herzig, A. & Kontinen, J. (Hrsg.). S. 157-174 18 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 12012 LNCS).

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