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

Maurice Dekker Johannes Kloibhofer Johannes Marti Yde Venema

Published in: TABLEAUX (2023)

Keyphrases

management system
complex systems
finite state machines
artificial intelligence
intelligent systems
computer systems
case study
relational databases
hidden markov models
software engineering
retrieval systems
formal methods