%0 Journal Article %1 journals/tcs/GeertsK05 %A Geerts, Floris %A Kuijpers, Bart %D 2005 %J Theor. Comput. Sci. %K dblp %N 1 %P 125-151 %T On the decidability of termination of query evaluation in transitive-closure logics for polynomial constraint databases. %U http://dblp.uni-trier.de/db/journals/tcs/tcs336.html#GeertsK05 %V 336

@article{journals/tcs/GeertsK05, added-at = {2022-04-09T00:00:00.000+0200}, author = {Geerts, Floris and Kuijpers, Bart}, biburl = {https://www.bibsonomy.org/bibtex/25bc1eefdad19e1c28bc0000ad7042e40/dblp}, ee = {https://doi.org/10.1016/j.tcs.2004.10.034}, interhash = {bbc5900c0ebffaba92d061922565a397}, intrahash = {5bc1eefdad19e1c28bc0000ad7042e40}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, number = 1, pages = {125-151}, timestamp = {2024-04-08T18:42:18.000+0200}, title = {On the decidability of termination of query evaluation in transitive-closure logics for polynomial constraint databases.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs336.html#GeertsK05}, volume = 336, year = 2005 }