A Parameterized View on the Complexity of Dependence Logic. Kontinen, J., Meier, A., & Mahmood, Y. In Artëmov, S. N. & Nerode, A., editors, Logical Foundations of Computer Science - International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10-13, 2022, Proceedings, volume 13137, of Lecture Notes in Computer Science, pages 125–142, 2022. Springer.
![A Parameterized View on the Complexity of Dependence Logic [link]](https://bibbase.org/img/filetypes/link.svg "link")
Paper doi bibtex
Paper doi bibtex Downloads: 0
{"_id":"yPTPtQii4DDv5JHrY","bibbaseid":"kontinen-meier-mahmood-aparameterizedviewonthecomplexityofdependencelogic-2022","author_short":["Kontinen, J.","Meier, A.","Mahmood, Y."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Juha"],"propositions":[],"lastnames":["Kontinen"],"suffixes":[]},{"firstnames":["Arne"],"propositions":[],"lastnames":["Meier"],"suffixes":[]},{"firstnames":["Yasir"],"propositions":[],"lastnames":["Mahmood"],"suffixes":[]}],"editor":[{"firstnames":["Sergei","N."],"propositions":[],"lastnames":["Artëmov"],"suffixes":[]},{"firstnames":["Anil"],"propositions":[],"lastnames":["Nerode"],"suffixes":[]}],"title":"A Parameterized View on the Complexity of Dependence Logic","booktitle":"Logical Foundations of Computer Science - International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10-13, 2022, Proceedings","series":"Lecture Notes in Computer Science","volume":"13137","pages":"125–142","publisher":"Springer","year":"2022","url":"https://doi.org/10.1007/978-3-030-93100-1_9","doi":"10.1007/978-3-030-93100-1_9","timestamp":"Sat, 09 Apr 2022 01:00:00 +0200","biburl":"https://dblp.org/rec/conf/lfcs/KontinenMM22.bib","bibsource":"dblp computer science bibliography, https://dblp.org","author_short":["Kontinen, J.","Meier, A.","Mahmood, Y."],"editor_short":["Artëmov, S. N.","Nerode, A."],"key":"DBLP:conf/lfcs/KontinenMM22","id":"DBLP:conf/lfcs/KontinenMM22","bibbaseid":"kontinen-meier-mahmood-aparameterizedviewonthecomplexityofdependencelogic-2022","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-030-93100-1_9"},"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/38/5700.bib","dataSources":["fBP2XTBFzsNLQjSxB"],"keywords":[],"search_terms":["parameterized","view","complexity","dependence","logic","kontinen","meier","mahmood"],"title":"A Parameterized View on the Complexity of Dependence Logic","year":2022}