Teimuraz Kutsia,
"Unification in the Empty and Flat Theories with Sequence Variables and Flexible Arity Symbols."
, in Franz Baader, Volker Diekert, Cesare Tinelli, and Ralf Treinen: Proceedings of 15th International Workshop on Unification, UNIF 2001., 6-2001
Original Titel:
Unification in the Empty and Flat Theories with Sequence Variables and Flexible Arity Symbols.
Sprache des Titels:
Englisch
Original Buchtitel:
Proceedings of 15th International Workshop on Unification, UNIF 2001.
Forschungs-