TítuloNominal Anti-Unification
Publication TypeConference Paper
Year of Publication2015
AuthorsBaumgartner A, Kutsia T, Levy J, Villaret M
Conference NameProc. of the 26th Int. Conf. on Rewriting Techniques and Applications, RTA'15
URLhttp://dx.doi.org/10.4230/LIPIcs.RTA.2015.57
DOI10.4230/LIPIcs.RTA.2015.57