Pattern unification with sequence variables and flexible arity symbols

Autoren Teimur Kutsia
Editoren P. Eklund
M. Ojeda-Asiego
TitelPattern unification with sequence variables and flexible arity symbols
BuchtitelUNCL'2002 Unification in Non-Classical Logics
Typin Konferenzband
VerlagElsevier Science
SerieElectronic Notes in Theoretical Computer Science
Nummer5
Band66
OrtMálaga, Spain
ISBN444513388
MonatDecember
Jahr2002
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.