Chain-Monadic Second Order Logic over Regular Automatic Trees and Epistemic Planning Synthesis.

Gatan Douneau-Tabot, Sophie Pinchinat, Franois Schwarzentruber

Browse the full AiML paper archive.