scientific article
From MaRDI portal
Publication:3713575
zbMath0587.68016MaRDI QIDQ3713575
Emmanuel Kounalis, Han-Tao Zhang
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
On sufficient-completeness and related properties of term rewriting systems ⋮ On relationship between term rewriting systems and regular tree languages ⋮ Testing for the ground (co-)reducibility property in term-rewriting systems ⋮ Automating inductionless induction using test sets ⋮ Automatic proofs by induction in theories without constructors ⋮ Deductive and inductive synthesis of equational programs
