%0 Conference Paper %1 journals/corr/abs-1203-6160 %A Avelar, Andréia B. %A Galdino, André Luiz %A de Moura, Flávio L. C. %A Ayala-Rincón, Mauricio %B LSFA %D 2011 %E Rocca, Simona Ronchi Della %E Pimentel, Elaine %K dblp %P 63-78 %T A Formalization of the Theorem of Existence of First-Order Most General Unifiers %U http://dblp.uni-trier.de/db/series/eptcs/eptcs81.html#abs-1203-6160 %V 81

@inproceedings{journals/corr/abs-1203-6160, added-at = {2021-04-09T00:00:00.000+0200}, author = {Avelar, Andréia B. and Galdino, André Luiz and de Moura, Flávio L. C. and Ayala-Rincón, Mauricio}, biburl = {https://www.bibsonomy.org/bibtex/28275347a08c4918f81efa6576be12f52/dblp}, booktitle = {LSFA}, crossref = {journals/corr/abs-1203-5423}, editor = {Rocca, Simona Ronchi Della and Pimentel, Elaine}, ee = {http://arxiv.org/abs/1203.6160}, interhash = {b30c4798e5cdbc61361eba8aaabd539b}, intrahash = {8275347a08c4918f81efa6576be12f52}, keywords = {dblp}, pages = {63-78}, series = {EPTCS}, timestamp = {2024-04-10T06:58:10.000+0200}, title = {A Formalization of the Theorem of Existence of First-Order Most General Unifiers}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs81.html#abs-1203-6160}, volume = 81, year = 2011 }