Unification in the Empty and Flat Theories with Sequence Variables and Flexible Arity Symbols.

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

Originalsprache	Englisch
Titel	Proceedings of 15th International Workshop on Unification, UNIF 2001.
Herausgeber*innen	Franz Baader, Volker Diekert, Cesare Tinelli, and Ralf Treinen
Seitenumfang	4
Publikationsstatus	Veröffentlicht - Juni 2001

Wissenschaftszweige

@inproceedings{b4e82ebd1782441fbbe89e5c9403f9e1,

title = "Unification in the Empty and Flat Theories with Sequence Variables and Flexible Arity Symbols.",

author = "Teimuraz Kutsia",

year = "2001",

month = jun,

language = "English",

editor = "\{Franz Baader, Volker Diekert, Cesare Tinelli, and Ralf Treinen\}",

booktitle = "Proceedings of 15th International Workshop on Unification, UNIF 2001.",

}