Login / Signup
Monadic second order logic as the model companion of temporal logic.
Silvio Ghilardi
Samuel J. van Gool
Published in:
CoRR (2016)
Keyphrases
</>
temporal logic
databases
model checking
context dependent
database systems