Loading [MathJax]/extensions/tex2jax.js

Parameterised complexity of model checking and satisfiability in propositional dependence logic

Research output: Contribution to journalArticleResearchpeer review

Authors

1 - 1 out of 1Page size: 20

Publications

  1. 2020

  2. 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 proceedingConference contributionResearchpeer review