Login / Signup
and the modal μ-calculus.
Maria João Gouveia
Luigi Santocanale
Published in:
Log. Methods Comput. Sci. (2019)
Keyphrases
</>
transition systems
modal logic
database
website
concurrent systems
automated deduction
tableau calculus
sequent calculus
algebraic structure
relational calculus
relational databases
data structure
nonmonotonic logics
automated theorem proving
multiscale
database systems
learning algorithm
neural network
real time