%0 Conference Paper %1 conf/rta/OttoKK97 %A Otto, Friedrich %A Katsura, Masashi %A Kobayashi, Yuji %B RTA %D 1997 %E Comon, Hubert %I Springer %K dblp %P 53-67 %T Cross-Sections for Finitely Presented Monoids with Decidable Word Problems. %U http://dblp.uni-trier.de/db/conf/rta/rta97.html#OttoKK97 %V 1232 %@ 3-540-62950-5

@inproceedings{conf/rta/OttoKK97, added-at = {2017-05-22T00:00:00.000+0200}, author = {Otto, Friedrich and Katsura, Masashi and Kobayashi, Yuji}, biburl = {https://www.bibsonomy.org/bibtex/2f2b63bf07f419edfd62bf10f2c705c29/dblp}, booktitle = {RTA}, crossref = {conf/rta/1997}, editor = {Comon, Hubert}, ee = {https://doi.org/10.1007/3-540-62950-5_61}, interhash = {1aabe185310481a030ed40a96fb4e1b2}, intrahash = {f2b63bf07f419edfd62bf10f2c705c29}, isbn = {3-540-62950-5}, keywords = {dblp}, pages = {53-67}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T12:19:14.000+0200}, title = {Cross-Sections for Finitely Presented Monoids with Decidable Word Problems.}, url = {http://dblp.uni-trier.de/db/conf/rta/rta97.html#OttoKK97}, volume = 1232, year = 1997 }