ON UNIFICATION OF TERMS WITH INTEGER EXPONENTS

Authors
COMON H
Citation
H. Comon, ON UNIFICATION OF TERMS WITH INTEGER EXPONENTS, Mathematical systems theory, 28(1), 1995, pp. 67-88
Citations number
6
Categorie Soggetti
System Science","Mathematics, Pure","Computer Science Theory & Methods",Mathematics
Journal title
Mathematical systems theory → ACNP
ISSN journal
00255661
Volume
28
Issue
1
Year of publication
1995
Pages
67 - 88
Database
ISI
SICI code
0025-5661(1995)28:1<67:OUOTWI>2.0.ZU;2-I
Abstract
We consider terms in which some patterns can be repeated n times. n is an integer variable which is part of the syntax of the terms (and hen ce may occur more than once in them). We show that unification of such terms is decidable and finitary, extending Chen and Hsiang's result o n p-term unification. Finally, extending slightly the syntax yields an undecidable unification problem.