The Confluence Problem for Flat TRSs.

Ichiro Mitsuhashi Michio Oyamaguchi Florent Jacquemard

Published in: AISC (2006)

Keyphrases

decision making
metadata
rewrite systems
databases
artificial intelligence
knowledge acquisition
shortest path
orders of magnitude