A Variant of Higher-Order Anti-Unification

Producció científica: Capítol del llibre/Acta del congrés › Acta de congrés › Avaluat per experts

Idioma original	Anglès
Títol de la publicació	24th International Conference on Rewriting Techniques and Applications (RTA
Pàgines	113-127
Nombre de pàgines	15
Volum	21
Estat de la publicació	Data de publicació - 2013

Com citar-ho

@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",

}