1 - 1 out of 1Page size: 20
Publications
2020
- Published
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. (eds.). p. 157-174 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12012 LNCS).Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review