scientific article; zbMATH DE number 4005606

MaRDI QIDQ3756512zbMATH OpenFDO

Authors S. Kemmerich

Publication date 1983

zbMATH Keywords

decision problemsinfinite reduction systemsregular reduction systemsrewriting systemsword problem

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Cited in

(2)

• Finite complete rewriting systems for the Jantzen monoid and the Greendlinger group
• About the descriptive power of certain classes of finite string-rewriting systems

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3756512)