Login / Signup
Size matters in the modal μ-calculus.
Clemens Kupke
Johannes Marti
Yde Venema
Published in:
CoRR (2020)
Keyphrases
</>
databases
real time
data sets
information systems
computational complexity
decision making
search algorithm
probabilistic model
small size
sequent calculus
transition systems