Nominal Confluence Tool

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

zbMATH Keywords

confluencehigher-order rewritingautomationvariable bindingnominal rewriting

Mathematics Subject Classification ID

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

• Tyrolean
• CSI
• Saigawa
• Conditional Confluence

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