%0 Conference Paper %1 conf/isaac/KatsuraKO00 %A Katsura, Masashi %A Kobayashi, Yuji %A Otto, Friedrich %B ISAAC %D 2000 %E Lee, D. T. %E Teng, Shang-Hua %I Springer %K dblp %P 278-289 %T Undecidability Results for Monoids with Linear-Time Decidable Word Problems. %U http://dblp.uni-trier.de/db/conf/isaac/isaac2000.html#KatsuraKO00 %V 1969 %@ 3-540-41255-7

@inproceedings{conf/isaac/KatsuraKO00, added-at = {2017-05-19T00:00:00.000+0200}, author = {Katsura, Masashi and Kobayashi, Yuji and Otto, Friedrich}, biburl = {https://www.bibsonomy.org/bibtex/2cdf2bacfa2110a5272e0a7e4b9a8b8d0/dblp}, booktitle = {ISAAC}, crossref = {conf/isaac/2000}, editor = {Lee, D. T. and Teng, Shang-Hua}, ee = {https://doi.org/10.1007/3-540-40996-3_24}, interhash = {266741e815877d5f7e7a971d059b12aa}, intrahash = {cdf2bacfa2110a5272e0a7e4b9a8b8d0}, isbn = {3-540-41255-7}, keywords = {dblp}, pages = {278-289}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T12:58:02.000+0200}, title = {Undecidability Results for Monoids with Linear-Time Decidable Word Problems.}, url = {http://dblp.uni-trier.de/db/conf/isaac/isaac2000.html#KatsuraKO00}, volume = 1969, year = 2000 }