Generalised Tree Automata, Monadic Second Order Logic and Transfer Principles in Combinatorial Limits

Full project page

Organisations map overview