Unification with sequence variables and flexible arity symbols and its extension with pattern-terms
| Authors |
Teimuraz Kutsia |
| Editors |
J. Calmet B. Benhamou O. Caprotti L. Henocque V. Sorge |
| Title | Unification with sequence variables and flexible arity symbols and its extension with pattern-terms |
| Booktitle | Artificial Intelligence, Automated Reasoning, and Symbolic Computation |
| Type | in collection |
| Publisher | Springer |
| Series | Lecture Notes in Artificial Intelligence |
| Volume | 2385 |
| ISBN | 3-540-43865-3 |
| Year | 2002 |
| Pages | 290-305 |
| Abstract | A minimal and complete unification procedure for a theory with individual and sequence variables, free constants and free fixed and flexible arity function symbols is described and a brief overview of an extension with pattern-terms is given. |