Teimuraz Kutsia,
"Unification in the Empty and Flat Theories with Sequence Variables and Flexible Arity Symbols"
: Proceedings of International Joint Conference on Automated Reasoning Workshop UNIF 2001, 6-2001, T. Kutsia International Joint Conference on Automated Reasoning Workshop UNIF'01, Siena, Italy Extended astract appeared in F.Baader, V.Diekert, C.Tinelli, R.Treinen (eds.)
Original Titel:
Unification in the Empty and Flat Theories with Sequence Variables and Flexible Arity Symbols
Sprache des Titels:
Englisch
Original Buchtitel:
Proceedings of International Joint Conference on Automated Reasoning Workshop UNIF 2001
Erscheinungsmonat:
6
Erscheinungsjahr:
2001
Notiz zum Zitat:
T. Kutsia International Joint Conference on Automated Reasoning Workshop UNIF'01, Siena, Italy Extended astract appeared in F.Baader, V.Diekert, C.Tinelli, R.Treinen (eds.)