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

Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag

Originalsprache	Englisch
Titel	Proceedings of 9th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning (Calculemus 2001)
Seitenumfang	10
Publikationsstatus	Veröffentlicht - Juni 2001

Wissenschaftszweige

@inproceedings{0424f3844b1a418c8610931aa3a53d0e,

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

author = "Teimuraz Kutsia",

year = "2001",

month = jun,

language = "English",

booktitle = "Proceedings of 9th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning (Calculemus 2001)",

}