scientific article
From MaRDI portal
Publication:3731027
zbMath0597.68034MaRDI QIDQ3731027
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Symbolic computation and algebraic computation (68W30) Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65) Foundations of classical theories (including reverse mathematics) (03B30) General topics in the theory of software (68N01)
Related Items
Negation with logical variables in conditional rewriting, Simplifying conditional term rewriting systems: Unification, termination and confluence, A rationale for conditional equational programming