Besik Dundua, Teimuraz Kutsia, Mircea Marin, Ioana Cleopatra Pau,
"Constraint Solving over Multiple Similarity Relations"
, in Zena M. Ariola: Proceedings of the 5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020), Serie Leibniz International Proceedings in Informatics (LIPIcs), Vol. 167, Schloss Dagstuhl--Leibniz-Zentrum für Informatik, Seite(n) 30:1-30:19, 2020, ISBN: 978-3-95977-155-9
Original Titel:
Constraint Solving over Multiple Similarity Relations
Sprache des Titels:
Englisch
Original Buchtitel:
Proceedings of the 5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020)
Original Kurzfassung:
ISSN: 1868-8969
Sprache der Kurzfassung:
Englisch
Veröffentlicher:
Schloss Dagstuhl--Leibniz-Zentrum für Informatik
Serie:
Leibniz International Proceedings in Informatics (LIPIcs)