Triangulation in rewriting

DOI10.4230/LIPICS.RTA.2012.240MaRDI QIDQ5111908zbMATH OpenOpenAlexFDO

Authors Vincent van Oostrom, Hans Zantema

Publication date 27 May 2020

Full work available at URL https://drops.dagstuhl.de/opus/volltexte/2012/3496/pdf/19.pdf

zbMATH Keywords

triangulationcompletion(co)confluence(co)terminationcodeterminism

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• scientific article; zbMATH DE number 4078851
• Confluence of indirection reductions in graph rewrite systems
• Semantic confluence tests and completion methods
• Completion for logically constrained rewriting
• Structures for abstract rewriting

Cited in

(3)

• The Confluent Terminating Context-Free Substitutive Rewriting System for the lambda-Calculus with Surjective Pairing and Terminal Type
• scientific article; zbMATH DE number 7199582 (Why is no real title available?)
• Finding small counterexamples for abstract rewriting properties

This page was built for publication: Triangulation in rewriting

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5111908)