Login / Signup
Some model theory for the modal μ-calculus: syntactic characterisations of semantic properties.
Gaëlle Fontaine
Yde Venema
Published in:
Log. Methods Comput. Sci. (2018)
Keyphrases
</>
prior knowledge
search engine
probabilistic model