%0 Journal Article %1 journals/apal/DzikKW22 %A Dzik, Wojciech %A Kost, Slawomir %A Wojtylak, Piotr %D 2022 %J Ann. Pure Appl. Log. %K dblp %N 4 %P 103072 %T Finitary unification in locally tabular modal logics characterized. %U http://dblp.uni-trier.de/db/journals/apal/apal173.html#DzikKW22 %V 173

@article{journals/apal/DzikKW22, added-at = {2022-04-09T00:00:00.000+0200}, author = {Dzik, Wojciech and Kost, Slawomir and Wojtylak, Piotr}, biburl = {https://www.bibsonomy.org/bibtex/2beca43d1dcad1a17cc2db9a8df782f4d/dblp}, ee = {https://doi.org/10.1016/j.apal.2021.103072}, interhash = {56677be40d4861bc7a44e3fd9c93fae5}, intrahash = {beca43d1dcad1a17cc2db9a8df782f4d}, journal = {Ann. Pure Appl. Log.}, keywords = {dblp}, number = 4, pages = 103072, timestamp = {2024-04-09T02:36:07.000+0200}, title = {Finitary unification in locally tabular modal logics characterized.}, url = {http://dblp.uni-trier.de/db/journals/apal/apal173.html#DzikKW22}, volume = 173, year = 2022 }