%0 Journal Article %1 journals/corr/cs-LO-0407031 %A Naumov, Pavel %D 2004 %J CoRR %K dblp %T On Modal Logics of Partial Recursive Functions %U http://dblp.uni-trier.de/db/journals/corr/corr0407.html#cs-LO-0407031 %V cs.LO/0407031

@article{journals/corr/cs-LO-0407031, added-at = {2024-04-10T00:00:00.000+0200}, author = {Naumov, Pavel}, biburl = {https://www.bibsonomy.org/bibtex/2564a2dda1395477030cf1b02acf1958c/dblp}, ee = {https://doi.org/10.48550/arXiv.cs/0407031}, interhash = {05c5ed72fec5f933dfd7a84bada860d9}, intrahash = {564a2dda1395477030cf1b02acf1958c}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-12T14:37:47.000+0200}, title = {On Modal Logics of Partial Recursive Functions}, url = {http://dblp.uni-trier.de/db/journals/corr/corr0407.html#cs-LO-0407031}, volume = {cs.LO/0407031}, year = 2004 }