scientific article
From MaRDI portal
Publication:3668832
zbMath0519.68022MaRDI QIDQ3668832
K. Drosten, Hans-Dieter Ehrich, Martin Gogolla, Udo W. Lipeck
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
operational semanticsterm rewriting systemsabstract data typesreduction strategiesconditional algebraic specificationsCurch-Rosser property
This page was built for publication: