A Parameterized View on the Complexity of Dependence Logic
J. Kontinen, A. Meier, and Y. Mahmood. Logical Foundations of Computer Science - International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10-13, 2022, Proceedings, page 125--142. (2022)
DOI: 10.1007/978-3-030-93100-1\_9
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 mahmood2022pcfodep
%A Kontinen, Juha
%A Meier, Arne
%A Mahmood, Yasir
%B Logical Foundations of Computer Science - International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10-13, 2022, Proceedings
%D 2022
%K dice mahmood
%P 125--142
%R 10.1007/978-3-030-93100-1\_9
%T A Parameterized View on the Complexity of Dependence Logic
@inproceedings{mahmood2022pcfodep,
added-at = {2023-04-25T12:57:47.000+0200},
author = {Kontinen, Juha and Meier, Arne and Mahmood, Yasir},
bdsk-url-1 = {https://doi.org/10.1007/978-3-030-93100-1},
bibsource = {dblp computer science bibliography, https://dblp.org},
biburl = {https://www.bibsonomy.org/bibtex/2f843912e30c4242ac1f48a5c1d03cb09/dice-research},
booktitle = {Logical Foundations of Computer Science - International Symposium, {LFCS} 2022, Deerfield Beach, FL, USA, January 10-13, 2022, Proceedings},
crossref = {DBLP:conf/lfcs/2022},
date-modified = {2023-04-25 15:15:52 +0200},
doi = {10.1007/978-3-030-93100-1\_9},
interhash = {51b6ce5562cd5518010272e7bc38f6df},
intrahash = {f843912e30c4242ac1f48a5c1d03cb09},
keywords = {dice mahmood},
pages = {125--142},
timestamp = {2023-04-25T16:34:10.000+0200},
title = {A Parameterized View on the Complexity of Dependence Logic},
year = 2022
}