Size measures and alphabetic equivalence in the μ-calculus.

Clemens Kupke Johannes Marti Yde Venema

Published in: LICS (2022)

Keyphrases

neural network
computational complexity
data structure
fixed size
real world
data mining
feature selection
case study
similarity measure
evolutionary algorithm