Alexander Baumgartner, Teimuraz Kutsia,
"Unranked Anti-Unification with Hedge and Context Variables"
: Proceedings of the 27th International Workshop on Unification, UNIF 2013, Seite(n) 13-21, 2013
Original Titel:
Unranked Anti-Unification with Hedge and Context Variables
Sprache des Titels:
Englisch
Original Buchtitel:
Proceedings of the 27th International Workshop on Unification, UNIF 2013