Alexander Baumgartner, Teimuraz Kutsia, Jordi Levy, Mateu Villaret,
"Term-Graph Anti-Unification"
, in Helene Kirchner: 3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018), Serie Leibniz International Proceedings in Informatics (LIPIcs), Vol. 108, Schlos Dagstuhl -- Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 2018, ISBN: 978-3-95977-077-4
Original Titel:
Term-Graph Anti-Unification
Sprache des Titels:
Englisch
Original Buchtitel:
3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018)
Veröffentlicher:
Schlos Dagstuhl -- Leibniz-Zentrum für Informatik
Verlagsanschrift:
Dagstuhl, Germany
Serie:
Leibniz International Proceedings in Informatics (LIPIcs)
Forschungs-