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

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

Original language	English
Title of host publication	Proceedings of 9th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning (Calculemus 2001)
Number of pages	10
Publication status	Published - Jun 2001

Fields of science

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

}