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

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

Original language	English
Title of host publication	Proceedings of 15th International Workshop on Unification, UNIF 2001.
Editors	Franz Baader, Volker Diekert, Cesare Tinelli, and Ralf Treinen
Number of pages	4
Publication status	Published - Jun 2001

Fields of science

@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.",

}