%0 Conference Paper %1 conf/aiml/Rybakov06 %A Rybakov, Mikhail N. %B Advances in Modal Logic %D 2006 %E Governatori, Guido %E Hodkinson, Ian M. %E Venema, Yde %I College Publications %K dblp %P 393-411 %T Complexity of intuitionistic and Visser's basic and formal logics in finitely many variables. %U http://dblp.uni-trier.de/db/conf/aiml/aiml2006.html#Rybakov06 %@ 1-904987-20-6

@inproceedings{conf/aiml/Rybakov06, added-at = {2020-03-12T00:00:00.000+0100}, author = {Rybakov, Mikhail N.}, biburl = {https://www.bibsonomy.org/bibtex/20df6ea4981ab6ec31a09e6e71e9aa3a1/dblp}, booktitle = {Advances in Modal Logic}, crossref = {conf/aiml/2006}, editor = {Governatori, Guido and Hodkinson, Ian M. and Venema, Yde}, ee = {http://www.aiml.net/volumes/volume6/Rybakov.ps}, interhash = {032bae9a135755f9183dd629281074d9}, intrahash = {0df6ea4981ab6ec31a09e6e71e9aa3a1}, isbn = {1-904987-20-6}, keywords = {dblp}, pages = {393-411}, publisher = {College Publications}, timestamp = {2024-04-09T20:03:32.000+0200}, title = {Complexity of intuitionistic and Visser's basic and formal logics in finitely many variables.}, url = {http://dblp.uni-trier.de/db/conf/aiml/aiml2006.html#Rybakov06}, year = 2006 }