Rewrite rules for CTL.

John Christopher McCabe-Dansted Mark Reynolds

Published in: J. Appl. Log. (2017)

Keyphrases

rewrite rules
model checking
temporal logic
rewriting rules
transformation rules
consistency constraints
query optimization
sql queries
databases
complex queries
data structure
building blocks