Proof Systems for the Modal μ-Calculus Obtained by Determinizing Automata.

Maurice Dekker Johannes Kloibhofer Johannes Marti Yde Venema

Published in: CoRR (2023)

Keyphrases

xml documents
distributed systems
information systems
complex systems
automated theorem proving
database
databases
neural network
management system
linear logic