Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 MahmoodM20
%A Mahmood, Yasir
%A Meier, Arne
%B International Symposium on Foundations of Information and Knowledge Systems
%D 2020
%K dice mahmood
%P 157--174
%T Parameterised complexity of model checking and satisfiability in propositional dependence logic
@inproceedings{MahmoodM20,
added-at = {2024-01-23T11:42:10.000+0100},
author = {Mahmood, Yasir and Meier, Arne},
biburl = {https://www.bibsonomy.org/bibtex/2663c5becd6448ada55bb84074ecc1b88/dice-research},
booktitle = {International Symposium on Foundations of Information and Knowledge Systems},
interhash = {39af4cbbd4602b3547f7aa1b60920737},
intrahash = {663c5becd6448ada55bb84074ecc1b88},
keywords = {dice mahmood},
organization = {Springer},
pages = {157--174},
timestamp = {2024-01-23T11:42:10.000+0100},
title = {Parameterised complexity of model checking and satisfiability in propositional dependence logic},
year = 2020
}