%0 Conference Paper %1 conf/lata/AotoI13 %A Aoto, Takahito %A Iwami, Munehiro %B LATA %D 2013 %E Dediu, Adrian-Horia %E Martín-Vide, Carlos %E Truthe, Bianca %I Springer %K dblp %P 56-67 %T Termination of Rule-Based Calculi for Uniform Semi-Unification. %U http://dblp.uni-trier.de/db/conf/lata/lata2013.html#AotoI13 %V 7810 %@ 978-3-642-37063-2

@inproceedings{conf/lata/AotoI13, added-at = {2017-05-24T00:00:00.000+0200}, author = {Aoto, Takahito and Iwami, Munehiro}, biburl = {https://www.bibsonomy.org/bibtex/2bd1f7533aec7ca70f71ba0f89258b056/dblp}, booktitle = {LATA}, crossref = {conf/lata/2013}, editor = {Dediu, Adrian-Horia and Martín-Vide, Carlos and Truthe, Bianca}, ee = {https://doi.org/10.1007/978-3-642-37064-9_7}, interhash = {646cc1bba96f946d9abe2d8716a4ea90}, intrahash = {bd1f7533aec7ca70f71ba0f89258b056}, isbn = {978-3-642-37063-2}, keywords = {dblp}, pages = {56-67}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-17T12:17:05.000+0200}, title = {Termination of Rule-Based Calculi for Uniform Semi-Unification.}, url = {http://dblp.uni-trier.de/db/conf/lata/lata2013.html#AotoI13}, volume = 7810, year = 2013 }