%0 Journal Article %1 journals/apal/IshiharaKN98 %A Ishihara, Hajime %A Khoussainov, Bakhadyr %A Nerode, Anil %D 1998 %J Ann. Pure Appl. Log. %K dblp %N 1-3 %P 115-123 %T Decidable Kripke Models of Intuitionistic Theories. %U http://dblp.uni-trier.de/db/journals/apal/apal93.html#IshiharaKN98 %V 93

@article{journals/apal/IshiharaKN98, added-at = {2020-02-21T00:00:00.000+0100}, author = {Ishihara, Hajime and Khoussainov, Bakhadyr and Nerode, Anil}, biburl = {https://www.bibsonomy.org/bibtex/29183483d68e36e6960662c91c727b46e/dblp}, ee = {https://doi.org/10.1016/S0168-0072(97)00057-2}, interhash = {73a1ba44f91f46b13d70442c675e0a38}, intrahash = {9183483d68e36e6960662c91c727b46e}, journal = {Ann. Pure Appl. Log.}, keywords = {dblp}, number = {1-3}, pages = {115-123}, timestamp = {2020-02-22T12:47:52.000+0100}, title = {Decidable Kripke Models of Intuitionistic Theories.}, url = {http://dblp.uni-trier.de/db/journals/apal/apal93.html#IshiharaKN98}, volume = 93, year = 1998 }