{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,31]],"date-time":"2025-12-31T07:17:50Z","timestamp":1767165470336,"version":"build-2238731810"},"reference-count":11,"publisher":"World Scientific Pub Co Pte Ltd","issue":"03","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Algebra Comput."],"published-print":{"date-parts":[[2000,6]]},"abstract":"<jats:p>By exploiting a new technique for proving undecidability results developed by A. Sattler-Klein in her doctoral dissertation (1996) it is shown that it is undecidable in general whether or not a finitely presented monoid with a polynomial-time decidable word problem has finite derivation type (FDT). This improves upon the undecidability result of R. Cremanns and F. Otto (1996), which was based on the undecidability of the word problem for the finitely presented monoids considered.<\/jats:p>","DOI":"10.1142\/s0218196700000108","type":"journal-article","created":{"date-parts":[[2003,4,22]],"date-time":"2003-04-22T07:48:21Z","timestamp":1050997701000},"page":"285-307","source":"Crossref","is-referenced-by-count":4,"title":["THE PROPERTY FDT IS UNDECIDABLE FOR FINITELY   PRESENTED MONOIDS THAT HAVE POLYNOMIAL-TIME  DECIDABLE WORD PROBLEMS"],"prefix":"10.1142","volume":"10","author":[{"given":"F.","family":"OTTO","sequence":"first","affiliation":[{"name":"Fachbereich Mathematik\/Informatik,  Universit\u00e4t Kassel, D\u201334109 Kassel, Germany"}]},{"given":"A.","family":"SATTLER-KLEIN","sequence":"additional","affiliation":[{"name":"Fachbereich Informatik,  Universit\u00e4t Kaiserslautern, D\u201367653 Kaiserslautern, Germany"}]}],"member":"219","published-online":{"date-parts":[[2012,4,30]]},"reference":[{"key":"p_3","doi-asserted-by":"publisher","DOI":"10.1145\/322290.322301"},{"key":"p_4","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1994.1039"},{"key":"p_5","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1996.0046"},{"key":"p_8","doi-asserted-by":"publisher","DOI":"10.1016\/0022-4049(90)90106-R"},{"key":"p_9","doi-asserted-by":"publisher","DOI":"10.1016\/0022-4049(94)00043-I"},{"key":"p_10","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(83)90060-9"},{"key":"p_13","doi-asserted-by":"publisher","DOI":"10.1142\/S0218196795000252"},{"key":"p_15","first-page":"68","author":"A","year":"1997","journal-title":"Berlin"},{"key":"p_16","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90175-9"},{"key":"p_17","doi-asserted-by":"publisher","DOI":"10.1016\/0022-4049(87)90129-0"},{"key":"p_18","doi-asserted-by":"publisher","DOI":"10.1145\/227683.227689"}],"container-title":["International Journal of Algebra and Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218196700000108","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,7]],"date-time":"2019-08-07T13:35:43Z","timestamp":1565184943000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0218196700000108"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,6]]},"references-count":11,"aliases":["10.1016\/s0218-1967(00)00010-8"],"journal-issue":{"issue":"03","published-online":{"date-parts":[[2012,4,30]]},"published-print":{"date-parts":[[2000,6]]}},"alternative-id":["10.1142\/S0218196700000108"],"URL":"https:\/\/doi.org\/10.1142\/s0218196700000108","relation":{},"ISSN":["0218-1967","1793-6500"],"issn-type":[{"value":"0218-1967","type":"print"},{"value":"1793-6500","type":"electronic"}],"subject":[],"published":{"date-parts":[[2000,6]]}}}