FDT is undecidable for finitely presented monoids with solvable word problems:
Saved in:
Bibliographic Details
Main Authors: Otto, Friedrich (Author), Sattler-Klein, Andrea (Author)
Format: Book
Language:German
Published: Kassel GhK 1997
Series:Mathematische Schriften Kassel 1997,3
Physical Description:16 S.