Decidability of Reachability and Disjoint Union of Term Rewriting Systems.

Anne-Cécile Caron

Published in: CAAP (1992)

Keyphrases

term rewriting systems
functional programs
logic programs
description logics
query answering
state space
pairwise
transitive closure
artificial intelligence
high level
data streams
integrity constraints