A Human-Oriented Term Rewriting System

DOI10.1007/978-3-030-30179-8_6MaRDI QIDQ6488090zbMATH OpenFDO

Authors W. Timothy Gowers, Mateja Jamnik

Publication date 24 March 2023

Full work available at URL https://doi.org/10.1007/978-3-030-30179-8_6

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Recommendations

• scientific article; zbMATH DE number 1118018
• Term rewriting systems in logic programming and in functional programming
• scientific article; zbMATH DE number 4090779
• scientific article; zbMATH DE number 3988695
• Publication:4207592
• scientific article; zbMATH DE number 3890721
• Extended term rewriting systems
• scientific article; zbMATH DE number 1889386
• scientific article; zbMATH DE number 1368955
• Approximating Term Rewriting Systems: A Horn Clause Specification and Its Implementation

This page was built for publication: A Human-Oriented Term Rewriting System

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