Unification with Sequence Variables And Flexible Arity Symbols and its Extension with Pattern-Terms (2002)
Cached
Download Links
by
Temur Kutsia
| Venue: | ARTIFICIAL INTELLIGENCE, AUTOMATED REASONING AND SYMBOLIC COMPUTATION. PROC. OF JOINT AISC’2002 – CALCULEMUS’2002 CONFERENCE, VOLUME 2385 OF LNAI |
| Citations: | 27 - 14 self |
BibTeX
@INPROCEEDINGS{Kutsia02unificationwith,
author = {Temur Kutsia},
title = {Unification with Sequence Variables And Flexible Arity Symbols and its Extension with Pattern-Terms},
booktitle = {ARTIFICIAL INTELLIGENCE, AUTOMATED REASONING AND SYMBOLIC COMPUTATION. PROC. OF JOINT AISC’2002 – CALCULEMUS’2002 CONFERENCE, VOLUME 2385 OF LNAI},
year = {2002},
pages = {290--304},
publisher = {Springer Verlag}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
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.
