scientific article
From MaRDI portal
Publication:3780428
zbMath0639.68029MaRDI QIDQ3780428
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Abstract data types; algebraic specification (68Q65) General topics in the theory of software (68N01)
Related Items (4)
Decidability of confluence and termination of monadic term rewriting systems ⋮ Testing for the ground (co-)reducibility property in term-rewriting systems ⋮ A strong restriction of the inductive completion procedure ⋮ Improving rewriting induction approach for proving ground confluence
This page was built for publication:
