scientific article; zbMATH DE number 794242

MaRDI QIDQ4847002zbMATH OpenFDO

Authors Alexander Bockmayr, Stefan Krischer, Andreas Werner

Publication date 10 June 1996

zbMATH Keywords

term rewriting system

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Term Rewriting and Applications
• scientific article; zbMATH DE number 4092758
• scientific article; zbMATH DE number 1822269
• scientific article; zbMATH DE number 4043233
• Finite canonical rewriting systems for congruences generated by concurrency relations
• Rewrite strategies in the rewriting calculus
• scientific article; zbMATH DE number 23844
• Functional and Logic Programming
• Processes, Terms and Cycles: Steps on the Road to Infinity
• Towards more precise rewriting approximations

Cited in

(8)

• A needed narrowing strategy
• scientific article; zbMATH DE number 4092758 (Why is no real title available?)
• scientific article; zbMATH DE number 4090771 (Why is no real title available?)
• Detecting redundant narrowing derivations by the LSE-SL reducibility test
• Solving equations by graph transformation
• scientific article; zbMATH DE number 1761888 (Why is no real title available?)
• On modularity in term rewriting and narrowing
• An optimal narrowing strategy for general canonical 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 Q4847002)