Using Reflection to Specify Transaction Sequences in Rewriting Logic.

Isabel Pita Narciso Martí-Oliet

Published in: APPIA-GULP-PRODE (1997)

Keyphrases

hidden markov models
database
modal logic
long sequences
concurrency control
automated reasoning
multi valued
logic programming
classical logic
conjunctive queries
sequence alignment
logical framework
predicate logic
rewrite rules