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
@article{Kontinen_Meier_Mahmood_2022, title={A parameterized view on the complexity of dependence and independence logic}, volume={32}, DOI={10.1093/logcom/exac070}, number={8}, journal={Journal of Logic and Computation}, publisher={Oxford University Press (OUP)}, author={Kontinen, Juha and Meier, Arne and Mahmood, Yasir}, year={2022}, pages={1624–1644} }
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 45845
@article{Mahmood_Meier_Schmidt_2020, title={Parameterized complexity of abduction in Schaefer’s framework}, volume={31}, DOI={10.1093/logcom/exaa079}, number={1}, journal={Journal of Logic and Computation}, publisher={Oxford University Press (OUP)}, author={Mahmood, Yasir and Meier, Arne and Schmidt, Johannes}, year={2020}, pages={266–296} }
LibreCat
| DOI