Confluence Competition 2015

DOI10.1007/978-3-319-21401-6_5zbMath1465.68118OpenAlexW1464848965MaRDI QIDQ3454083

Julian Nagele, Naoki Nishida, Nao Hirokawa, Takahito Aoto, 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)

Related Items (3)

Unnamed Item ⋮ Unnamed Item ⋮ Nominal Confluence Tool

Uses Software

• StarExec

Cites Work

• Higher-order rewrite systems and their confluence
• Unnamed Item

This page was built for publication: Confluence Competition 2015