On the size of disjunctive formulas in the μ-calculus.

Clemens Kupke Johannes Marti Yde Venema

Published in: GandALF (2021)

Keyphrases

computational complexity
databases
memory requirements
standard deviation
space complexity
real numbers
database
search algorithm
modal logic
answer sets