Mircea Marin, Teimuraz Kutsia,
"Unification Procedure for Terms with Sequence Variables and Sequence Functions (Extended Abstract)."
, in Michael Kohlhase: Proceedings of the 18th International Workshop on Unification (UNIF'04), Cork, Ireland, Seite(n) 1-13, 2004
Original Titel:
Unification Procedure for Terms with Sequence Variables and Sequence Functions (Extended Abstract).
Sprache des Titels:
Englisch
Original Buchtitel:
Proceedings of the 18th International Workshop on Unification (UNIF'04)
Forschungs-