The Variable Hierarchy of the µ-Calculus Is Strict.

Dietmar Berwanger Giacomo Lenzi

Published in: STACS (2005)

Keyphrases

learning algorithm
artificial intelligence
expressive power
hierarchical structure
real time
neural network
data mining
information retrieval
computer vision
evolutionary algorithm
higher level
continuous variables
formal language
computer algebra