Right-Linear Finite Path Overlapping Term Rewriting Systems Effectively Preserve Recognizability.

Toshinori Takai Yuichi Kaji Hiroyuki Seki

Published in: RTA (2000)

Keyphrases

term rewriting systems
logic programs
artificial intelligence
shortest path
machine learning
database systems
intelligent agents
data types
finite dimensional
functional programs