Confluence Competition 2015

DOI10.1007/978-3-319-21401-6_5MaRDI QIDQ3454083zbMATH OpenOpenAlexFDO

Authors Takahito Aoto, Nao Hirokawa, Julian Nagele, Naoki Nishida, Harald Zankl

Publication date 2 December 2015

Published in Automated Deduction - CADE-25 (Search for Journal in Brave)

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

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 7359428
• scientific article; zbMATH DE number 4022275
• Introduction to the special issue: Confluence
• Confluence in concurrent constraint programming
• Confluence in concurrent constraint programming
• Confluence Operators

Cites work

• Higher-order rewrite systems and their confluence
• scientific article; zbMATH DE number 1729952 (Why is no real title available?)

Cited in

(6)

• Nominal confluence tool
• Certifying confluence proofs via relative termination and rule labeling
• The third rewrite engines competition
• scientific article; zbMATH DE number 7359428 (Why is no real title available?)
• Formalising confluence in PVS
• A fast decision procedure for uniqueness of normal forms w.r.t. conversion of shallow term rewriting systems

Describes a project that uses

Uses Software

• StarExec

This page was built for publication: Confluence Competition 2015

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