Unification in a free theory with sequence variables and flexible arity symbols and its extensions

Teimuraz Kutsia

Research Institute for Symbolic Computation

Research output: Working paper and reports › Research report

Original language	English
Number of pages	53
Publication status	Published - 2002

Publication series

Name	SFB F013 Reports
No.	02-6

Fields of science

101 Mathematics
101001 Algebra
101005 Computer algebra
101009 Geometry
101012 Combinatorics
101013 Mathematical logic
101020 Technical mathematics

Cite this