Checking overlaps of nominal rewriting rules
type: Item
instance of: scholarly article
title: Checking overlaps of nominal rewriting rules
zbMATH Open document ID: 1401.68131
author: Mauricio Ayala-Rincón
author: Maribel Fernández
author: Murdoch J. Gabbay
author: Ana Cristina Rocha-Oliveira
publication date: 2018-04-23T00:00:00Z
Mathematics Subject Classification ID: 68Q42
zbMATH DE Number: 6862941
zbMATH Keywords: nominal syntax
zbMATH Keywords: rewriting
zbMATH Keywords: confluence
zbMATH Keywords: binding
Wikidata QID: Q113317685
MaRDI profile type: Publication
full work available at URL: j.entcs.2016.06.004
OpenAlex ID: W2463026518
cites work: Matching and alpha-equivalence check for nominal terms
cites work: Automata, Languages and Programming
cites work: Relating Nominal and Higher-Order Rewriting
cites work: Nominal rewriting
cites work: Nominal Completion for Rewrite Systems with Binders
cites work: A formalization of the Knuth-Bendix(-Huet) critical pair theorem
cites work: Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
cites work: Combinatory reduction systems: Introduction and survey
cites work: Q5581665
cites work: Higher-order rewrite systems and their confluence
cites work: On theories with a combinatorial definition of 'equivalence'
cites work: Q4992400
cites work: Tree-Manipulating Systems and Church-Rosser Theorems
cites work: Confluence of orthogonal nominal rewriting systems revisited
cites work: Nominal unification
DOI: 10.1016/J.ENTCS.2016.06.004
description: scientific article; zbMATH DE number 6862941