Constructive completeness for the linear-time μ-calculus.

Published in: LICS (2017)

Keyphrases

worst case
computer algebra
automated deduction
database
information systems
expert systems
algebraic structure