Teimuraz Kutsia,
"Unification with sequence variables and flexible arity symbols and its extension with pattern-terms"
: Artificial Intelligence, Automated Reasoning and Symbolic Computation. Proceedings of Joint AICS'2002 - Calculemus'2002 conference, Serie Lecture Notes in Computer Science (LNCS), Vol. 2385, Springer Verlag, Seite(n) 290-304, 7-2002, ISBN: 3-540-43865-3, ISSN: 0302-9743, T. Kutsia.Unification with sequence variables andflexible arity symbols and
its extension with pattern-terms.
In B. B. J. Calmet, O. Caprotti, L. Henocque, and V. Sorge, editors,
Artificial Intelligence, Automated Reasoning and Symbolic Computation.
Proceedings of Joint AICS'2002 - Calculemus'2002 conference, volume 2385 of
Lecture Notes in Artificial Intelligence, pp. 290-304, Marseille, France,
July 2002. Springer Verlag. ISBN 3-540-43865-3. (15 pages) // Series ISSN: 0302-9743
Original Titel:
Unification with sequence variables and flexible arity symbols and its extension with pattern-terms
Sprache des Titels:
Englisch
Original Buchtitel:
Artificial Intelligence, Automated Reasoning and Symbolic Computation. Proceedings of Joint AICS'2002 - Calculemus'2002 conference
Veröffentlicher:
Springer Verlag
Serie:
Lecture Notes in Computer Science (LNCS)
Volume:
2385
Seitenreferenz:
290-304
Erscheinungsmonat:
7
Erscheinungsjahr:
2002
Notiz zum Zitat:
T. Kutsia.Unification with sequence variables andflexible arity symbols and
its extension with pattern-terms.
In B. B. J. Calmet, O. Caprotti, L. Henocque, and V. Sorge, editors,
Artificial Intelligence, Automated Reasoning and Symbolic Computation.
Proceedings of Joint AICS'2002 - Calculemus'2002 conference, volume 2385 of
Lecture Notes in Artificial Intelligence, pp. 290-304, Marseille, France,
July 2002. Springer Verlag. ISBN 3-540-43865-3. (15 pages) // Series ISSN: 0302-9743
Forschungs-