Teimuraz Kutsia,
"Unification in the Empty and Flat Theoreis with Sequence Variables and Flexible Arity Symbols"
: Proceedings of 9th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning (Calculemus 2001), 6-2001, T. Kutsia Proceedings of 9th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning (Calculemus 2001), Siena, Italy
Original Titel:
Unification in the Empty and Flat Theoreis with Sequence Variables and Flexible Arity Symbols
Sprache des Titels:
Englisch
Original Buchtitel:
Proceedings of 9th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning (Calculemus 2001)
Erscheinungsmonat:
6
Erscheinungsjahr:
2001
Notiz zum Zitat:
T. Kutsia Proceedings of 9th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning (Calculemus 2001), Siena, Italy
Forschungs-