Triangulation in rewriting
From MaRDI portal
Publication:5111908
DOI10.4230/LIPIcs.RTA.2012.240zbMath1437.68089OpenAlexW1582308044MaRDI QIDQ5111908
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
Related Items (3)
Finding small counterexamples for abstract rewriting properties ⋮ Unnamed Item ⋮ The Confluent Terminating Context-Free Substitutive Rewriting System for the lambda-Calculus with Surjective Pairing and Terminal Type
This page was built for publication: Triangulation in rewriting
