%0 Journal Article %1 journals/iandc/EndrullisGSZ11 %A Endrullis, Jörg %A Geuvers, Herman %A Simonsen, Jakob Grue %A Zantema, Hans %D 2011 %J Inf. Comput. %K dblp %N 2 %P 227-245 %T Levels of undecidability in rewriting. %U http://dblp.uni-trier.de/db/journals/iandc/iandc209.html#EndrullisGSZ11 %V 209

@article{journals/iandc/EndrullisGSZ11, added-at = {2022-10-02T00:00:00.000+0200}, author = {Endrullis, Jörg and Geuvers, Herman and Simonsen, Jakob Grue and Zantema, Hans}, biburl = {https://www.bibsonomy.org/bibtex/29c2e89d58e890a2e3c3b6eed749d34ff/dblp}, ee = {https://doi.org/10.1016/j.ic.2010.09.003}, interhash = {495ed1ad54352f7c8973291e5baa38b0}, intrahash = {9c2e89d58e890a2e3c3b6eed749d34ff}, journal = {Inf. Comput.}, keywords = {dblp}, number = 2, pages = {227-245}, timestamp = {2024-04-09T06:10:08.000+0200}, title = {Levels of undecidability in rewriting.}, url = {http://dblp.uni-trier.de/db/journals/iandc/iandc209.html#EndrullisGSZ11}, volume = 209, year = 2011 }