Teimuraz Kutsia,
"Pattern unification with sequence variables and flexible arity symbols"
: Electronic Notes on Theoretical Computer Science, Vol. 66, Nummer 5, Vol. 66, Nummer 5, 7-2002, ISBN: 3-540-43864-5, T. Kutsia. Pattern unification with sequence variables and flexible arity
symbols. In M. Ojeda-Asiego, editor, Proceedings of the Workshop on
Unification in Non-Classical Logics, volume 66 of Electronic Notes on
Theoretical Computer Science, Malaga, Spain, July 2002. Elsevier Science.
ISBN 3-540-43864-5. (12 pages)
Original Titel:
Pattern unification with sequence variables and flexible arity symbols
Sprache des Titels:
Englisch
Original Buchtitel:
Electronic Notes on Theoretical Computer Science, Vol. 66, Nummer 5
Volume:
66
Number:
5
Erscheinungsmonat:
7
Erscheinungsjahr:
2002
Notiz zum Zitat:
T. Kutsia. Pattern unification with sequence variables and flexible arity
symbols. In M. Ojeda-Asiego, editor, Proceedings of the Workshop on
Unification in Non-Classical Logics, volume 66 of Electronic Notes on
Theoretical Computer Science, Malaga, Spain, July 2002. Elsevier Science.
ISBN 3-540-43864-5. (12 pages)