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

Autoren Teimuraz Kutsia
Editoren J. Calmet
B. Benhamou
O. Caprotti
L. Henocque
V. Sorge
TitelUnification with sequence variables and flexible arity symbols and its extension with pattern-terms
BuchtitelArtificial Intelligence, Automated Reasoning, and Symbolic Computation
Typin Sammelband
VerlagSpringer
SerieLecture Notes in Artificial Intelligence
Band2385
ISBN3-540-43865-3
Jahr2002
Seiten290-305
SCCH ID#247
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.