FORT 2.0
From MaRDI portal
Publication:1799069
DOI10.1007/978-3-319-94205-6_6OpenAlexW2811032655MaRDI QIDQ1799069
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
Grammars and rewriting systems (68Q42) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
Related Items (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
Uses Software
This page was built for publication: FORT 2.0
