%0 Journal Article %1 journals/logcom/RybakovS21a %A Rybakov, Mikhail N. %A Shkatov, Dmitry %D 2021 %J J. Log. Comput. %K dblp %N 2 %P 494-522 %T Algorithmic properties of first-order superintuitionistic logics of finite Kripke frames in restricted languages. %U http://dblp.uni-trier.de/db/journals/logcom/logcom31.html#RybakovS21a %V 31

@article{journals/logcom/RybakovS21a, added-at = {2022-04-09T00:00:00.000+0200}, author = {Rybakov, Mikhail N. and Shkatov, Dmitry}, biburl = {https://www.bibsonomy.org/bibtex/24af043a8aea4b5cc1a804b93cf7572e7/dblp}, ee = {https://doi.org/10.1093/logcom/exaa091}, interhash = {ad49cc66eb8b2a49b515ee978f1042a2}, intrahash = {4af043a8aea4b5cc1a804b93cf7572e7}, journal = {J. Log. Comput.}, keywords = {dblp}, number = 2, pages = {494-522}, timestamp = {2024-04-09T05:12:26.000+0200}, title = {Algorithmic properties of first-order superintuitionistic logics of finite Kripke frames in restricted languages.}, url = {http://dblp.uni-trier.de/db/journals/logcom/logcom31.html#RybakovS21a}, volume = 31, year = 2021 }