Nominal Confluence Tool
From MaRDI portal
Publication:2817917
DOI10.1007/978-3-319-40229-1_12zbMath1476.68298OpenAlexW2504157767MaRDI QIDQ2817917
Takahito Aoto, Kentaro Kikuchi
Publication date: 5 September 2016
Published in: Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-40229-1_12
Grammars and rewriting systems (68Q42) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
Related Items (2)
Rewriting with generalized nominal unification ⋮ Confluence and commutation for nominal rewriting systems with atom-variables
Uses Software
Cites Work
- Unnamed Item
- Equivariant unification
- A new approach to abstract syntax with variable binding
- Higher-order rewrite systems and their confluence
- Combinatory reduction systems: Introduction and survey
- Nominal unification
- Nominal logic, a first order theory of names and binding
- Nominal rewriting
- Nominal Completion for Rewrite Systems with Binders
- Confluence Competition 2015
- Proving Confluence of Term Rewriting Systems Automatically
- Term Rewriting and All That
- Conditional Confluence (System Description)
- CSI – A Confluence Tool
- Confluence of orthogonal nominal rewriting systems revisited
This page was built for publication: Nominal Confluence Tool