%0 Conference Paper %1 conf/rta/MitsuhashiOOY04 %A Mitsuhashi, Ichiro %A Oyamaguchi, Michio %A Ohta, Yoshikatsu %A Yamada, Toshiyuki %B RTA %D 2004 %E van Oostrom, Vincent %I Springer %K dblp %P 285-300 %T The Joinability and Unification Problems for Confluent Semi-constructor TRSs. %U http://dblp.uni-trier.de/db/conf/rta/rta2004.html#MitsuhashiOOY04 %V 3091 %@ 3-540-22153-0

@inproceedings{conf/rta/MitsuhashiOOY04, added-at = {2017-05-22T00:00:00.000+0200}, author = {Mitsuhashi, Ichiro and Oyamaguchi, Michio and Ohta, Yoshikatsu and Yamada, Toshiyuki}, biburl = {https://www.bibsonomy.org/bibtex/2d800f06e7dcf9151553dfe9f64044206/dblp}, booktitle = {RTA}, crossref = {conf/rta/2004}, editor = {van Oostrom, Vincent}, ee = {https://doi.org/10.1007/978-3-540-25979-4_20}, interhash = {e5a6c3e035af44dc4d24177650cd3c3a}, intrahash = {d800f06e7dcf9151553dfe9f64044206}, isbn = {3-540-22153-0}, keywords = {dblp}, pages = {285-300}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-17T12:28:20.000+0200}, title = {The Joinability and Unification Problems for Confluent Semi-constructor TRSs.}, url = {http://dblp.uni-trier.de/db/conf/rta/rta2004.html#MitsuhashiOOY04}, volume = 3091, year = 2004 }