=ADD=
=reftype=
14
=number=
04-01
=url=
ftp://ftp.risc.uni-linz.ac.at/pub/techreports/2004/04-01.ps.gz
=year=
2004
=month=
01
=author=
Kutsia; Temur
=title=
Solving Equations Involving Sequence Variables and Sequence Functions
=abstract=
Unification procedure for solving equations involving individual
and sequence variables and individual and sequence function
symbols is presented. Function symbols can have fixed or flexible
arity. Decidability of unification is proved. Completeness and
almost minimality of the procedure is shown.
=sponsor=
FWF project SFB1302 "Theorema"
=keywords=
Unification, sequence variables, sequence functions