Reachability Analysis of Term Rewriting Systems with Timbuk.

Thomas Genet Valérie Viet Triem Tong

Published in: LPAR (2001)

Keyphrases

term rewriting systems
reachability analysis
model checking
markov decision processes
functional programs
timed automata
incremental algorithms
logic programs
state space
temporal logic
databases
database
real time
artificial intelligence
knowledge base
reinforcement learning
video sequences
fixed point