scientific article
From MaRDI portal
Publication:3341872
zbMath0549.68011MaRDI QIDQ3341872
U. Pletat, Hans-Dieter Ehrich, Gregor Engels
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
operational semanticsChurch-Rosser propertyspecifications of abstract data typessubstitution reduction strategy
Related Items (6)
Negation with logical variables in conditional rewriting ⋮ Simplifying conditional term rewriting systems: Unification, termination and confluence ⋮ Term-rewriting systems with rule priorities ⋮ A constructive method for abstract algebraic software specification ⋮ Conditional rewrite rules ⋮ Contextual rewriting as a sound and complete proof method for conditional LOG-specifications
This page was built for publication:
