Mathematical Logic Foundations

Research Frontiers in Automata and Regular Languages Extensions

Study of automata theory variants including weighted automata, register automata, and extensions to infinite structures.

All Mathematical Logic & Foundations PhD categories