Login / Signup
Focus-style proof systems and interpolation for the alternation-free μ-calculus.
Johannes Marti
Yde Venema
Published in:
CoRR (2021)
Keyphrases
</>
data structure
expert systems
automated theorem proving
artificial intelligence
metadata
management system
control system
image interpolation
computing systems
theorem prover
retrieval systems
building blocks
logic programs
information retrieval systems
data sets
color images
multi agent systems
multiscale
databases