scientific article
From MaRDI portal
Publication:2852038
zbMath1273.68328MaRDI QIDQ2852038
Publication date: 7 October 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S157106610600106X
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
\(\lim +, \delta^+\), and non-permutability of \(\beta\)-steps ⋮ Shallow confluence of conditional term rewriting systems
Uses Software
This page was built for publication:
