scientific article; zbMATH DE number 3896915

MaRDI QIDQ3676128zbMATH OpenFDO

Authors Patrick J. Horster

Publication date 1983

zbMATH Keywords

Church-Rosser propertycomplete reduction systemsequational algebrasmonoidThue systems

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Thue and Post systems, etc. (03D03) Automata and formal grammars in connection with logical questions (03D05) Word problems, etc. in computability and recursion theory (03D40) Abstract data types; algebraic specification (68Q65) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• scientific article; zbMATH DE number 3895046
• Systems of reductions
• scientific article; zbMATH DE number 752977
• scientific article; zbMATH DE number 3948242
• scientific article; zbMATH DE number 3898258

Cited in

(3)

• Some undecidability results for non-monadic Church-Rosser Thue systems
• On the Noetherian properties of reduction system of words
• scientific article; zbMATH DE number 3895046 (Why is no real title available?)

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 Q3676128)