%0 Conference Paper %1 conf/icalp/YouS86 %A You, Jia-Huai %A Subrahmanyam, P. A. %B ICALP %D 1986 %E Kott, Laurent %I Springer %K dblp %P 454-463 %T E-Unification Algorithms for a Class of Confluent Term Rewriting Systems. %U http://dblp.uni-trier.de/db/conf/icalp/icalp86.html#YouS86 %V 226 %@ 3-540-16761-7

@inproceedings{conf/icalp/YouS86, added-at = {2017-05-19T00:00:00.000+0200}, author = {You, Jia-Huai and Subrahmanyam, P. A.}, biburl = {https://www.bibsonomy.org/bibtex/25e26f5d42194606b8d7b5a9fa9e5377d/dblp}, booktitle = {ICALP}, crossref = {conf/icalp/1986}, editor = {Kott, Laurent}, ee = {https://doi.org/10.1007/3-540-16761-7_95}, interhash = {3c64f0e9bebcbffdf8e5fb6a7482cdae}, intrahash = {5e26f5d42194606b8d7b5a9fa9e5377d}, isbn = {3-540-16761-7}, keywords = {dblp}, pages = {454-463}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T16:28:51.000+0200}, title = {E-Unification Algorithms for a Class of Confluent Term Rewriting Systems.}, url = {http://dblp.uni-trier.de/db/conf/icalp/icalp86.html#YouS86}, volume = 226, year = 1986 }