scientific article; zbMATH DE number 6168355
From MaRDI portal
Publication:4922540
zbMath1274.03090MaRDI QIDQ4922540
Publication date: 29 May 2013
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (4)
Converting between Combinatory Reduction Systems and Big Step Semantics ⋮ Formalizing Soundness and Completeness of Unravelings ⋮ On Proving Soundness of the Computationally Equivalent Transformation for Normal Conditional Term Rewriting Systems by Using Unravelings ⋮ Notes on Structure-Preserving Transformations of Conditional Term Rewrite Systems
This page was built for publication:
