A Variant of Higher-Order Anti-Unification

Research output: Chapter in Book/Conference proceeding › Conference proceeding › peer-review

Original language	English
Title of host publication	24th International Conference on Rewriting Techniques and Applications (RTA
Pages	113-127
Number of pages	15
Volume	21
Publication status	Published - 2013

Cite this

@inproceedings{008d2a8229c14542852fd8f765d40d1b,

title = "A Variant of Higher-Order Anti-Unification",

author = "\{Villaret Auselle\}, Mateu and A. Baumgartner and T. Kutsia and J. Levy",

year = "2013",

language = "English",

isbn = "1868-8969",

volume = "21",

pages = "113--127",

booktitle = "24th International Conference on Rewriting Techniques and Applications (RTA",

}