A Hierarchy Theorem for the µ-Calculus.

Published in: ICALP (1996)

Keyphrases

hierarchical structure
von neumann
multiscale
neural network
real world
multi agent
lower level
hierarchical structures
class hierarchy
provably correct