C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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