On the µ-calculus over transitive and finite transitive frames.

Giovanna D'Agostino Giacomo Lenzi

Published in: Theor. Comput. Sci. (2010)

Keyphrases

transitive closure
multiscale
high speed
finite number
artificial intelligence
multi agent
provably correct