Alexander Baumgartner, Teimuraz Kutsia,
"Unranked Second-Order Anti-Unification"
, in Ulrich Kohlenbach: Proceedings of the 21st Workshop on Logic, Language, Information and Computation, WoLLIC 2014, Serie Lecture Notes in Computer Science (LNCS), Vol. 8652, Springer, Seite(n) 66-80, 2014, ISBN: 978-3-662-44144-2
Original Titel:
Unranked Second-Order Anti-Unification
Sprache des Titels:
Englisch
Original Buchtitel:
Proceedings of the 21st Workshop on Logic, Language, Information and Computation, WoLLIC 2014
Forschungs-