%0 Conference Paper %1 conf/focs/ComonGN01 %A Comon, Hubert %A Godoy, Guillem %A Nieuwenhuis, Robert %B FOCS %D 2001 %I IEEE Computer Society %K %P 298-307 %T The Confluence of Ground Term Rewrite Systems is Decidable in Polynomial Time. %U http://dblp.uni-trier.de/db/conf/focs/focs2001.html#ComonGN01 %@ 0-7695-1390-5

@inproceedings{conf/focs/ComonGN01, added-at = {2023-12-13T07:27:56.000+0100}, author = {Comon, Hubert and Godoy, Guillem and Nieuwenhuis, Robert}, biburl = {https://www.bibsonomy.org/bibtex/2151cf4302120941ed3eb9355aed43afa/admin}, booktitle = {FOCS}, crossref = {conf/focs/2001}, ee = {http://doi.ieeecomputersociety.org/10.1109/SFCS.2001.959904}, interhash = {b94f493901bfff46aa057cd54ded5185}, intrahash = {151cf4302120941ed3eb9355aed43afa}, isbn = {0-7695-1390-5}, keywords = {}, pages = {298-307}, publisher = {IEEE Computer Society}, timestamp = {2023-12-13T07:27:56.000+0100}, title = {The Confluence of Ground Term Rewrite Systems is Decidable in Polynomial Time.}, url = {http://dblp.uni-trier.de/db/conf/focs/focs2001.html#ComonGN01}, year = 2001 }