Decidability for Left-Linaer Growing Term Rewriting Systems.

Takashi Nagaya Yoshihito Toyama

Published in: RTA (1999)

Keyphrases

term rewriting systems
logic programs
functional programs
description logics
query answering
database
machine learning
relational databases
decision procedures