Unification with sequence variables and flexible arity symbols and its extension with pattern-terms

T. Kutsia. Unification with sequence variables and flexible arity symbols and its extension with pattern-terms. volume 2385, pages 290-305, 2002.

Autoren
  • Teimuraz Kutsia
Editoren
  • J. Calmet
  • B. Benhamou
  • O. Caprotti
  • L. Henocque
  • V. Sorge
BuchArtificial Intelligence, Automated Reasoning, and Symbolic Computation
TypIn Sammelband
VerlagSpringer
SerieLecture Notes in Artificial Intelligence
Band2385
ISBN3-540-43865-3
Jahr2002
Seiten290-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.