scientific article
From MaRDI portal
Publication:2911632
DOI10.4230/LIPIcs.FSTTCS.2011.288zbMath1246.68136MaRDI QIDQ2911632
Aart Middeldorp, Bertram Felgenhauer, Harald Zankl
Publication date: 31 August 2012
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (4)
Layer Systems for Proving Confluence ⋮ Modularity in term rewriting revisited ⋮ CSI – A Confluence Tool ⋮ Labelings for decreasing diagrams
This page was built for publication:
