Pattern unification with sequence variables and flexible arity symbols

T. Kutsia. Pattern unification with sequence variables and flexible arity symbols. volume 66, number 5, 12, 2002.

Autoren
  • Teimur Kutsia
Editoren
  • P. Eklund
  • M. Ojeda-Asiego
BuchUNCL'2002 Unification in Non-Classical Logics
TypIn Konferenzband
VerlagElsevier Science
SerieElectronic Notes in Theoretical Computer Science
Nummer5
Band66
ISBN444513388
Monat12
Jahr2002
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.