Publication:3341872
From MaRDI portal
zbMath0549.68011MaRDI QIDQ3341872
Hans-Dieter Ehrich, U. Pletat, Gregor Engels
Publication date: 1982
operational semantics; Church-Rosser property; specifications of abstract data types; substitution reduction strategy
68P05: Data structures
Related Items
A constructive method for abstract algebraic software specification, Conditional rewrite rules, Simplifying conditional term rewriting systems: Unification, termination and confluence, Term-rewriting systems with rule priorities, Contextual rewriting as a sound and complete proof method for conditional LOG-specifications