A Variant of Higher-Order Anti-Unification

Producción científica: Capítulo del libro/Acta de congreso › Acta de congreso › revisión exhaustiva

Idioma original	Inglés
Título de la publicación alojada	24th International Conference on Rewriting Techniques and Applications (RTA
Páginas	113-127
Número de páginas	15
Volumen	21
Estado	Publicada - 2013

Citar esto

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

}