Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
2 Publications
2022 | Journal Article | LibreCat-ID: 45847
Kontinen, J., Meier, A., & Mahmood, Y. (2022). A parameterized view on the complexity of dependence and independence logic. Journal of Logic and Computation, 32(8), 1624–1644. https://doi.org/10.1093/logcom/exac070
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 45845
Mahmood, Y., Meier, A., & Schmidt, J. (2020). Parameterized complexity of abduction in Schaefer’s framework. Journal of Logic and Computation, 31(1), 266–296. https://doi.org/10.1093/logcom/exaa079
LibreCat
| DOI