Verifying Temporal Regular Properties of Abstractions of Term Rewriting Systems

Benoît Boyer Thomas Genet

Published in: RULE (2009)

Keyphrases

term rewriting systems
temporal properties
model checking
temporal databases
temporal information
high level
spatial and temporal
temporal evolution
spatio temporal
logic programs
temporal constraints
temporal data
databases
machine learning
artificial intelligence
temporal abstractions