scientific article
From MaRDI portal
Publication:3319766
zbMath0535.68011MaRDI QIDQ3319766
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
string rewriting systemsChurch Rosser propertydecision procedure for a class of true sentences about Church-Rosser congruencesfinite monadic Church- Rosser Thue systems
Related Items
History and basic features of the critical-pair/completion procedure ⋮ Church-Rosser property and decidability of monadic theories of unary algebras ⋮ Some undecidability results concerning the property of preserving regularity ⋮ Finite complete rewriting systems for the Jantzen monoid and the Greendlinger group ⋮ Infinite regular Thue systems ⋮ Undecidable questions related to Church-Rosser Thue systems
This page was built for publication:
