Published in: LIPIcs, Volume 10, 22nd International Conference on Rewriting Techniques and Applications (RTA'11) (2011)
Francisco Duran, Steven Eker, Santiago Escobar, Jose Meseguer, and Carolyn Talcott. Variants, Unification, Narrowing, and Symbolic Reachability in Maude 2.6. In 22nd International Conference on Rewriting Techniques and Applications (RTA'11). Leibniz International Proceedings in Informatics (LIPIcs), Volume 10, pp. 31-40, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)
@InProceedings{duran_et_al:LIPIcs.RTA.2011.31, author = {Duran, Francisco and Eker, Steven and Escobar, Santiago and Meseguer, Jose and Talcott, Carolyn}, title = {{Variants, Unification, Narrowing, and Symbolic Reachability in Maude 2.6}}, booktitle = {22nd International Conference on Rewriting Techniques and Applications (RTA'11)}, pages = {31--40}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-30-9}, ISSN = {1868-8969}, year = {2011}, volume = {10}, editor = {Schmidt-Schauss, Manfred}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.RTA.2011.31}, URN = {urn:nbn:de:0030-drops-31211}, doi = {10.4230/LIPIcs.RTA.2011.31}, annote = {Keywords: Rewriting logic, narrowing, unification, variants} }
Feedback for Dagstuhl Publishing