%0 Conference Paper %1 conf/cade/DuranEEMMT16 %A Durán, Francisco %A Eker, Steven %A Escobar, Santiago %A Martí-Oliet, Narciso %A Meseguer, José %A Talcott, Carolyn L. %B IJCAR %D 2016 %E Olivetti, Nicola %E Tiwari, Ashish %I Springer %K dblp %P 183-192 %T Built-in Variant Generation and Unification, and Their Applications in Maude 2.7. %U http://dblp.uni-trier.de/db/conf/cade/ijcar2016.html#DuranEEMMT16 %V 9706 %@ 978-3-319-40228-4

@inproceedings{conf/cade/DuranEEMMT16, added-at = {2023-09-20T00:00:00.000+0200}, author = {Durán, Francisco and Eker, Steven and Escobar, Santiago and Martí-Oliet, Narciso and Meseguer, José and Talcott, Carolyn L.}, biburl = {https://www.bibsonomy.org/bibtex/2daaed2023529df8644c5f753ff64ba79/dblp}, booktitle = {IJCAR}, crossref = {conf/cade/2016}, editor = {Olivetti, Nicola and Tiwari, Ashish}, ee = {https://doi.org/10.1007/978-3-319-40229-1_13}, interhash = {2a4bfe61dcca449e0511a26c493059a6}, intrahash = {daaed2023529df8644c5f753ff64ba79}, isbn = {978-3-319-40228-4}, keywords = {dblp}, pages = {183-192}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T18:55:24.000+0200}, title = {Built-in Variant Generation and Unification, and Their Applications in Maude 2.7.}, url = {http://dblp.uni-trier.de/db/conf/cade/ijcar2016.html#DuranEEMMT16}, volume = 9706, year = 2016 }