Pattern unification with sequence variables and flexible arity symbols

Authors Teimur Kutsia
Editors P. Eklund
M. Ojeda-Asiego
Title Pattern unification with sequence variables and flexible arity symbols
Booktitle UNCL'2002 Unification in Non-Classical Logics
Type in proceedings
Publisher Elsevier Science
Series Electronic Notes in Theoretical Computer Science
Number 5
Volume 66
Address Málaga, Spain
ISBN 444513388
Month December
Year 2002
SCCH ID# 248
Abstract

A unification procedure for a theory with individual and sequence variables, free constants, free fixed and flexible arity function symbols and patterns is described. The procedure enumerates a set of substitution/constraint pairs which constitutes the minimal complete set of unifiers.