David Cerna, Teimuraz Kutsia,
"Higher-Order Equational Pattern 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, Schloss Dagstuhl -- Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 2018, ISBN: 978-3-95977-077-4
Original Titel:
Higher-Order Equational Pattern Anti-Unification
Sprache des Titels:
Englisch
Original Buchtitel:
3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018)
Veröffentlicher:
Schloss Dagstuhl -- Leibniz-Zentrum für Informatik
Verlagsanschrift:
Dagstuhl, Germany
Serie:
Leibniz International Proceedings in Informatics (LIPIcs)