Some undecidable approximations of TRSs

zbMATH Open1272.68187MaRDI QIDQ2849583FDOQ2849583

Authors: Jeroen Ketema 

Publication date: 20 September 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105001283

Recommendations

• Normalization properties for shallow TRS and innermost rewriting
• Unique Normalization for Shallow TRS
• Decidable approximations of term rewriting systems
• Decidability for left-linear growing term rewriting systems.
• Publication:4938609

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

This page was built for publication: Some undecidable approximations of TRSs

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