@article{ITA_1987__21_3_323_0, author = {Ry\v{s}linkov\'a, Jana}, title = {Church-Rosser property and decidability of monadic theories of unary algebras}, journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications}, pages = {323--329}, publisher = {EDP-Sciences}, volume = {21}, number = {3}, year = {1987}, mrnumber = {910081}, zbl = {0639.03008}, language = {en}, url = {http://archive.numdam.org/item/ITA_1987__21_3_323_0/} }
TY - JOUR AU - Ryšlinková, Jana TI - Church-Rosser property and decidability of monadic theories of unary algebras JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications PY - 1987 SP - 323 EP - 329 VL - 21 IS - 3 PB - EDP-Sciences UR - http://archive.numdam.org/item/ITA_1987__21_3_323_0/ LA - en ID - ITA_1987__21_3_323_0 ER -
%0 Journal Article %A Ryšlinková, Jana %T Church-Rosser property and decidability of monadic theories of unary algebras %J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications %D 1987 %P 323-329 %V 21 %N 3 %I EDP-Sciences %U http://archive.numdam.org/item/ITA_1987__21_3_323_0/ %G en %F ITA_1987__21_3_323_0
Ryšlinková, Jana. Church-Rosser property and decidability of monadic theories of unary algebras. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 21 (1987) no. 3, pp. 323-329. http://archive.numdam.org/item/ITA_1987__21_3_323_0/
1. The Power of the Church-Rosser Property in String Rewriting Systems, Proc. 6th Conf. on Automated Deduction, L.N.C.S., vol. 85, Springer-Verlag, 1982, pp. 360-368. | Zbl
,2. Decidability of Second-Order Theories and Automata on Infinite Trees, T.A.M.S., 141, 1969. | MR | Zbl
,3. Thue Systems and the Church-Rosser Property, M.F.C.S.'84, L.N.C.S., Vol. 175, pp. 80-95. | MR | Zbl
,