Confluence Competition 2015

DOI10.1007/978-3-319-21401-6_5zbMATH Open1465.68118OpenAlexW1464848965MaRDI QIDQ3454083FDOQ3454083

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

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

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Higher-order rewrite systems and their confluence

Cited In (5)

• Nominal confluence tool
• Formalising confluence in PVS
• The third rewrite engines competition
• Title not available (Why is that?)
• Certifying confluence proofs via relative termination and rule labeling

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)