The Property Fdt is Undecidable for Finitely Presented Monoids that Have Polynomial-Time Decidable Word Problems.

Published in: Int. J. Algebra Comput. (2000)

Keyphrases