Mathematical Logic Foundations

Research Frontiers in Monadic Second-Order Logic and Tree Automata

Explores connections between monadic second-order logic and automata theory, including decidability results and applications to formal verification.

All Mathematical Logic & Foundations PhD categories