Triangulation in rewriting

DOI10.4230/LIPICS.RTA.2012.240zbMATH Open1437.68089OpenAlexW1582308044MaRDI QIDQ5111908FDOQ5111908

Hans Zantema, Vincent van Oostrom

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)

Cited In (3)

• The Confluent Terminating Context-Free Substitutive Rewriting System for the lambda-Calculus with Surjective Pairing and Terminal Type
• Title not available (Why is that?)
• 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)