Typing weak MSOL properties.

Sylvain Salvati Igor Walukiewicz

Published in: Log. Methods Comput. Sci. (2017)

Keyphrases

structural properties
desirable properties
neural network
artificial intelligence
case study
control system
management system
topological properties
e learning
database systems
preprocessing
multiresolution
mobile phone
key properties