CSI: new evidence -- a progress report

DOI10.1007/978-3-319-63046-5_24zbMath1494.68291OpenAlexW2735861624MaRDI QIDQ2405264

Julian Nagele, Bertram Felgenhauer, Aart Middeldorp

Publication date: 22 September 2017

Full work available at URL: http://qmro.qmul.ac.uk/xmlui/handle/123456789/37184

Mathematics Subject Classification ID

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 ⋮ Unnamed Item ⋮ Ground confluence of order-sorted conditional specifications modulo axioms ⋮ CSI

Uses Software

• CeTA
• CoLL

This page was built for publication: CSI: new evidence -- a progress report