Loading [MathJax]/extensions/tex2jax.js

Parameterised Complexity of Model Checking and Satisfiability in Propositional Dependence Logic

Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review

Authors

Research Organisations

1 - 1 out of 1Page size: 20
Order:

Publications

  1. 2022

  2. Published

    Parameterised complexity of model checking and satisfiability in propositional dependence logic

    Mahmood, Y. & Meier, A., Mar 2022, In: Annals of Mathematics and Artificial Intelligence. 90, 2-3, p. 271-296 26 p.

    Research output: Contribution to journal › Article › Research › peer review