A Focus System for the Alternation-Free μ-Calculus.

Johannes Marti Yde Venema

Published in: TABLEAUX (2021)

Keyphrases

real time
database
data sets
high level
real world
information systems
relational databases