Pattern unification with sequence variables and flexible arity symbols

Autoren Teimur Kutsia
Editoren P. Eklund
M. Ojeda-Asiego
Titel Pattern unification with sequence variables and flexible arity symbols
Buchtitel UNCL'2002 Unification in Non-Classical Logics
Typ in Konferenzband
Verlag Elsevier Science
Serie Electronic Notes in Theoretical Computer Science
Nummer 5
Band 66
Ort Málaga, Spain
ISBN 444513388
Monat December
Jahr 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.