%0 Conference Paper %1 conf/cade/BoudetC98 %A Boudet, Alexandre %A Contejean, Evelyne %B CADE %D 1998 %E Kirchner, Claude %E Kirchner, Hélène %I Springer %K dblp %P 88-102 %T About the Confluence of Equational Pattern Rewrite Systems. %U http://dblp.uni-trier.de/db/conf/cade/cade98.html#BoudetC98 %V 1421 %@ 3-540-64675-2

@inproceedings{conf/cade/BoudetC98, added-at = {2017-05-23T00:00:00.000+0200}, author = {Boudet, Alexandre and Contejean, Evelyne}, biburl = {https://www.bibsonomy.org/bibtex/2ece93c1edf97ce6713033d89c0884fb2/dblp}, booktitle = {CADE}, crossref = {conf/cade/1998}, editor = {Kirchner, Claude and Kirchner, Hélène}, ee = {https://doi.org/10.1007/BFb0054250}, interhash = {02151ea70adb581ab651343359ef3789}, intrahash = {ece93c1edf97ce6713033d89c0884fb2}, isbn = {3-540-64675-2}, keywords = {dblp}, pages = {88-102}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:55:13.000+0200}, title = {About the Confluence of Equational Pattern Rewrite Systems.}, url = {http://dblp.uni-trier.de/db/conf/cade/cade98.html#BoudetC98}, volume = 1421, year = 1998 }