Inverse Monoids: Decidability and Complexity of Algebraic Questions - Lohrey, Markus; Ondrusch, Nicole (Lecture notes in computer science, 2005)
Keywords: Algorithmics. Computability. Computer arithmetics; Applied sciences; Computer science; control theory; systems; Exact sciences and technology; Theoretical computing; Decidability; Computer theory; Free monoid; Regular language; Cayley graph; Second order theory; Monadic logic; Inverse problem; Polynomial time