Published in: LIPIcs, Volume 21, 24th International Conference on Rewriting Techniques and Applications (RTA 2013)
Gert Smolka and Tobias Tebbi. Unification Modulo Nonnested Recursion Schemes via Anchored Semi-Unification. In 24th International Conference on Rewriting Techniques and Applications (RTA 2013). Leibniz International Proceedings in Informatics (LIPIcs), Volume 21, pp. 271-286, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)
@InProceedings{smolka_et_al:LIPIcs.RTA.2013.271, author = {Smolka, Gert and Tebbi, Tobias}, title = {{Unification Modulo Nonnested Recursion Schemes via Anchored Semi-Unification}}, booktitle = {24th International Conference on Rewriting Techniques and Applications (RTA 2013)}, pages = {271--286}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-53-8}, ISSN = {1868-8969}, year = {2013}, volume = {21}, editor = {van Raamsdonk, Femke}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.RTA.2013.271}, URN = {urn:nbn:de:0030-drops-40674}, doi = {10.4230/LIPIcs.RTA.2013.271}, annote = {Keywords: recursion schemes, semi-unification, infinitary rewriting} }
Feedback for Dagstuhl Publishing