scientific article
From MaRDI portal
Publication:3202988
zbMath0716.03004MaRDI QIDQ3202988
Publication date: 1990
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (4)
The Church-Rosser theorem and quantitative analysis of witnesses ⋮ Descendants and origins in term rewriting. ⋮ Perpetuality and uniform normalization in orthogonal rewrite systems ⋮ Relative normalization in Deterministic Residual Structures
This page was built for publication:
