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, Juha, Arne Meier, and Yasir Mahmood. “A Parameterized View on the Complexity of Dependence and Independence Logic.” Journal of Logic and Computation 32, no. 8 (2022): 1624–44. https://doi.org/10.1093/logcom/exac070.
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 45845
Mahmood, Yasir, Arne Meier, and Johannes Schmidt. “Parameterized Complexity of Abduction in Schaefer’s Framework.” Journal of Logic and Computation 31, no. 1 (2020): 266–96. https://doi.org/10.1093/logcom/exaa079.
LibreCat
| DOI