Unification with sequence variables and flexible arity symbols and its extension with pattern-terms

Autoren Teimuraz Kutsia
Editoren J. Calmet
B. Benhamou
O. Caprotti
L. Henocque
V. Sorge
Titel Unification with sequence variables and flexible arity symbols and its extension with pattern-terms
Buchtitel Artificial Intelligence, Automated Reasoning, and Symbolic Computation
Typ in Sammelband
Verlag Springer
Serie Lecture Notes in Artificial Intelligence
Band 2385
ISBN 3-540-43865-3
Jahr 2002
Seiten 290-305
SCCH ID# 247
Abstract

A minimal and complete unification procedure for a theory with individual and sequence variables, free constants and free fixed and flexible arity function symbols is described and a brief overview of an extension with pattern-terms is given.