Checking overlaps of nominal rewriting rules
From MaRDI portal
Publication:1744404
DOI10.1016/J.ENTCS.2016.06.004zbMATH Open1401.68131OpenAlexW2463026518WikidataQ113317685 ScholiaQ113317685MaRDI QIDQ1744404FDOQ1744404
Mauricio Ayala-Rincón, Murdoch J. Gabbay, Ana Cristina Rocha-Oliveira, Maribel Fernández
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
- Title not available (Why is that?)
- Relating Nominal and Higher-Order Rewriting
- Nominal Completion for Rewrite Systems with Binders
- Confluence of orthogonal nominal rewriting systems revisited
Cited In (7)
- Rewriting with generalized nominal unification
- Title not available (Why is that?)
- 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 syntax with atom substitutions
- Ground confluence and strong commutation modulo alpha-equivalence in nominal rewriting
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)
