Deciding Word Problems of Semigroups using Finite State Automata

Max Neunhoeffer, Markus Pfeiffer, Nik Ruskuc

Research output: Contribution to journal › Article › peer-review

1 results

Finished
Automata Languages Decidability: Automata, Languages, Decidability in Algebra
Ruskuc, N. (PI) & Quick, M. (CoI)
EPSRC
1/03/10 → 31/05/14
Project: Standard