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

Authors Teimuraz Kutsia
Editors J. Calmet
B. Benhamou
O. Caprotti
L. Henocque
V. Sorge
Title Unification with sequence variables and flexible arity symbols and its extension with pattern-terms
Booktitle Artificial Intelligence, Automated Reasoning, and Symbolic Computation
Type in collection
Publisher Springer
Series Lecture Notes in Artificial Intelligence
Volume 2385
ISBN 3-540-43865-3
Year 2002
Pages 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.