Term rewriting systems in logic programming and in functional programming

MaRDI QIDQ5309373zbMATH OpenFDO

Authors Doina Tatar, Gabriela Şerban

Publication date 9 October 2007

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• scientific article; zbMATH DE number 3902026
• Rewriting Techniques and Applications
• scientific article; zbMATH DE number 4092824
• scientific article; zbMATH DE number 1889386
• scientific article; zbMATH DE number 4078756

Cited in

(13)

• Fuzzy term-rewriting system
• Term Rewriting with Logical Constraints
• scientific article; zbMATH DE number 3902026 (Why is no real title available?)
• scientific article; zbMATH DE number 4092824 (Why is no real title available?)
• Transparent optimisation of rewriting combinators
• scientific article; zbMATH DE number 1889386 (Why is no real title available?)
• Logic based structure rewriting systems
• Approximating Term Rewriting Systems: A Horn Clause Specification and Its Implementation
• Extended term rewriting systems
• Processes, Terms and Cycles: Steps on the Road to Infinity
• Rewriting Techniques and Applications
• A Human-Oriented Term Rewriting System
• Murg term rewrite systems

This page was built for publication: Term rewriting systems in logic programming and in functional programming

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