A parameterized view on the complexity of dependence and independence logic. Kontinen, J., Meier, A., & Mahmood, Y. J. Log. Comput., 32(8):1624–1644, 2022.
![A parameterized view on the complexity of dependence and independence logic [link]](https://bibbase.org/img/filetypes/link.svg "link")
Paper doi bibtex
Paper doi bibtex Downloads: 0
{"_id":"bxw4p3GoohNb6MM2d","bibbaseid":"kontinen-meier-mahmood-aparameterizedviewonthecomplexityofdependenceandindependencelogic-2022","author_short":["Kontinen, J.","Meier, A.","Mahmood, Y."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Juha"],"propositions":[],"lastnames":["Kontinen"],"suffixes":[]},{"firstnames":["Arne"],"propositions":[],"lastnames":["Meier"],"suffixes":[]},{"firstnames":["Yasir"],"propositions":[],"lastnames":["Mahmood"],"suffixes":[]}],"title":"A parameterized view on the complexity of dependence and independence logic","journal":"J. Log. Comput.","volume":"32","number":"8","pages":"1624–1644","year":"2022","url":"https://doi.org/10.1093/logcom/exac070","doi":"10.1093/logcom/exac070","timestamp":"Wed, 04 Jan 2023 00:00:00 +0100","biburl":"https://dblp.org/rec/journals/logcom/KontinenMM22.bib","bibsource":"dblp computer science bibliography, https://dblp.org","author_short":["Kontinen, J.","Meier, A.","Mahmood, Y."],"key":"DBLP:journals/logcom/KontinenMM22","id":"DBLP:journals/logcom/KontinenMM22","bibbaseid":"kontinen-meier-mahmood-aparameterizedviewonthecomplexityofdependenceandindependencelogic-2022","role":"author","urls":{"Paper":"https://doi.org/10.1093/logcom/exac070"},"metadata":{"authorlinks":{}},"html":""},"bibtype":"article","biburl":"https://dblp.org/pid/38/5700.bib","dataSources":["fBP2XTBFzsNLQjSxB"],"keywords":[],"search_terms":["parameterized","view","complexity","dependence","independence","logic","kontinen","meier","mahmood"],"title":"A parameterized view on the complexity of dependence and independence logic","year":2022}