Constrained Reachability of Process Rewrite Systems.

Published in: ICTAC (2009)

Keyphrases

artificial intelligence
expert systems
state space
software development
transitive closure
term rewriting
rewrite systems