%0 Journal Article %1 journals/logcom/RybakovS23 %A Rybakov, Mikhail N. %A Shkatov, Dmitry %D 2023 %J J. Log. Comput. %K dblp %N 7 %P 1566-1595 %T Complexity function and complexity of validity of modal and superintuitionistic propositional logics. %U http://dblp.uni-trier.de/db/journals/logcom/logcom33.html#RybakovS23 %V 33

@article{journals/logcom/RybakovS23, added-at = {2024-01-24T00:00:00.000+0100}, author = {Rybakov, Mikhail N. and Shkatov, Dmitry}, biburl = {https://www.bibsonomy.org/bibtex/2265d1511ce4a924f91e99ef040d20263/dblp}, ee = {https://doi.org/10.1093/logcom/exac085}, interhash = {64dd7cd803a38c8111b1b9ac39afdfdb}, intrahash = {265d1511ce4a924f91e99ef040d20263}, journal = {J. Log. Comput.}, keywords = {dblp}, month = {October}, number = 7, pages = {1566-1595}, timestamp = {2024-04-09T05:12:50.000+0200}, title = {Complexity function and complexity of validity of modal and superintuitionistic propositional logics.}, url = {http://dblp.uni-trier.de/db/journals/logcom/logcom33.html#RybakovS23}, volume = 33, year = 2023 }