Alexander Baumgartner, Teimuraz Kutsia, Jordi Levy, Mateu Villaret,
"Nominal Anti-Unification"
, in Maribel Fernandez: Proceedings of the 26th International Conference on Rewriting Techniques and Applications, RTA 2015, Serie Leibniz International Proceedings in Informatics (LIPIcs), 2015, ISSN: 1868-8969
Original Titel:
Nominal Anti-Unification
Sprache des Titels:
Englisch
Original Buchtitel:
Proceedings of the 26th International Conference on Rewriting Techniques and Applications, RTA 2015
Serie:
Leibniz International Proceedings in Informatics (LIPIcs)