FORT 2.0

DOI10.1007/978-3-319-94205-6_6MaRDI QIDQ1799069zbMATH OpenOpenAlexFDO

Authors Franziska Rapp, Aart Middeldorp

Publication date 18 October 2018

Full work available at URL https://doi.org/10.1007/978-3-319-94205-6_6

Mathematics Subject Classification ID

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

Recommendations

• Certifying proofs in the first-order theory of rewriting
• scientific article; zbMATH DE number 6792369
• Mechanizing Mathematical Reasoning
• Term Rewriting and Applications
• scientific article; zbMATH DE number 2043537

Cited in

(4)

• First-order theory of rewriting for linear variable-separated rewrite systems: automation, formalization, certification
• Certifying proofs in the first-order theory of rewriting
• Formalized proofs of the infinity and normal form predicates in the first-order theory of rewriting
• FORT

Describes a project that uses

Uses Software

• CoLL

This page was built for publication: FORT 2.0

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