id: 04041860
dt: j
an: 04041860
au: Ryšlinková, Jana
ti: Church-Rosser property and decidability of monadic theories of unary
    algebras.
so: RAIRO, Inf. Théor. Appl. 21, 323-329 (1987).
py: 1987
pu: Dunod, Paris
la: EN
cc: 
ut: decidability; monadic theories; second-order theories; unary algebras;
    Church-Rosser property
ci: 
li: 
ab: Author’s summary: “The main question we are interested in is the
    decidability of monadic theories (logical second-order theories) of
    some unary algebras. Here, the Church-Rosser property of the immediate
    inference relation for the presentation of unary algebras plays an
    important role. We get as a corollary of more general theorems that the
    monadic theory of finitely presented unary algebras is decidable.”
rv: M.Tetruašvili