%0 Conference Paper %1 conf/unif/Ciobaca11 %A Ciobaca, Stefan %B UNIF %D 2011 %E Baader, Franz %E Morawska, Barbara %E Otop, Jan %K dblp %P 28-34 %T Computing finite variants for subterm convergent rewrite systems. %U http://dblp.uni-trier.de/db/conf/unif/unif2011.html#Ciobaca11

@inproceedings{conf/unif/Ciobaca11, added-at = {2023-09-19T00:00:00.000+0200}, author = {Ciobaca, Stefan}, biburl = {https://www.bibsonomy.org/bibtex/21903d12412f9f6917cb40bcfd4b7f111/dblp}, booktitle = {UNIF}, crossref = {conf/unif/2011}, editor = {Baader, Franz and Morawska, Barbara and Otop, Jan}, ee = {https://www.irif.fr/~treinen/unif/past/unif11/unif11-proceedings.pdf#page=34}, interhash = {565a30ab69ff7d4541d0cce3161ccaed}, intrahash = {1903d12412f9f6917cb40bcfd4b7f111}, keywords = {dblp}, pages = {28-34}, timestamp = {2024-04-09T13:16:41.000+0200}, title = {Computing finite variants for subterm convergent rewrite systems.}, url = {http://dblp.uni-trier.de/db/conf/unif/unif2011.html#Ciobaca11}, year = 2011 }