Proximity-based Unification with Arity Mismatch

Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

Originalsprache	Englisch
Titel	Proceedings of the 34th International Workshop on Unification
Herausgeber*innen	Temur Kutsia, Andrew M. Marshall
Seiten	9:1-9:6
Seitenumfang	6
Publikationsstatus	Veröffentlicht - 2020

Wissenschaftszweige

@inproceedings{8092cbfe1f9c448790258126bc91a1ed,

title = "Proximity-based Unification with Arity Mismatch",

author = "Teimuraz Kutsia and Pau, \{Ioana Cleopatra\}",

year = "2020",

language = "English",

pages = "9:1--9:6",

editor = "\{Temur Kutsia, Andrew M. Marshall\}",

booktitle = "Proceedings of the 34th International Workshop on Unification",

}