Periodic Reporting for period 1 - FINTOINF (Generalised Tree Automata, Monadic Second Order Logic and Transfer Principles in Combinatorial Limits)

This is a project that borders the computer sciences and mathematics. In particular, it addressed the fascinating boundary where abstract machines are studied in order to determine decidability ofmathematical theories. By decidability is meant the possibility to mechanically...