💾 Archived View for dcreager.net › papers › Kutsia2002a.gmi captured on 2023-07-22 at 16:35:44. Gemini links have been rewritten to link to archived content
-=-=-=-=-=-=-
Temur Kutsia, Pattern Unification with Sequence Variables and Flexible Arity Symbols, Electronic Notes in Theoretical Computer Science, Volume 66, Issue 5, 2002, Pages 52-69, ISSN 1571-0661.
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.