A Unified Approach to Boundedness Properties in MSO.

Lukasz Kaiser Martin Lang Simon Leßenich Christof Löding

Published in: CSL (2015)

Keyphrases

desirable properties
structural properties
real time
sufficient conditions
database
neural network
artificial intelligence
multi agent
knowledge representation
rough sets
regular expressions