Solving Equations Involving Sequence Variables and Sequence Functions (2004)
Cached
Download Links
by
Temur Kutsia
| Venue: | Artificial Intelligence and Symbolic Computation. Proc. of AISC’04 Conference, volume 3249 of LNAI |
| Citations: | 9 - 8 self |
BibTeX
@INPROCEEDINGS{Kutsia04solvingequations,
author = {Temur Kutsia},
title = {Solving Equations Involving Sequence Variables and Sequence Functions},
booktitle = {Artificial Intelligence and Symbolic Computation. Proc. of AISC’04 Conference, volume 3249 of LNAI},
year = {2004},
pages = {157--170},
publisher = {Springer}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Term equations involving individual and sequence variables, and individual and sequence function symbols are studied. Function symbols can have either fixed or flexible arity. A new unification procedure for solving such equations is presented. Decidability of unification is proved. Completeness and almost minimality of the procedure is shown. 1
