Checking overlaps of nominal rewriting rules
From MaRDI portal
Publication:1744404
DOI10.1016/J.ENTCS.2016.06.004zbMATH Open1401.68131OpenAlexW2463026518WikidataQ113317685 ScholiaQ113317685MaRDI QIDQ1744404FDOQ1744404
Authors: Mauricio Ayala-Rincón, Maribel Fernández, Murdoch J. Gabbay, Ana Cristina Rocha-Oliveira 
Publication date: 23 April 2018
Full work available at URL: https://doi.org/10.1016/j.entcs.2016.06.004
Recommendations
Cites Work
- Combinatory reduction systems: Introduction and survey
- Nominal unification
- On theories with a combinatorial definition of 'equivalence'
- Title not available (Why is that?)
- Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
- Higher-order rewrite systems and their confluence
- Tree-Manipulating Systems and Church-Rosser Theorems
- Nominal rewriting
- Automata, Languages and Programming
- A formalization of the Knuth-Bendix(-Huet) critical pair theorem
- Matching and alpha-equivalence check for nominal terms
- Formalizing the confluence of orthogonal rewriting systems
- Relating nominal and higher-order rewriting
- Nominal completion for rewrite systems with binders
- Confluence of orthogonal nominal rewriting systems revisited
Cited In (10)
- Rewriting with generalized nominal unification
- Nominal confluence tool
- Confluence and commutation for nominal rewriting systems with atom-variables
- Confluence of orthogonal term rewriting systems in the prototype verification system
- Nominal unification with atom-variables
- Nominal unification with atom and context variables
- Nominal syntax with atom substitutions
- Parallel closure theorem for left-linear nominal rewriting systems
- Ground confluence and strong commutation modulo alpha-equivalence in nominal rewriting
- Confluence of orthogonal nominal rewriting systems revisited
This page was built for publication: Checking overlaps of nominal rewriting rules
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1744404)
