Publication:3696523
From MaRDI portal
zbMath0576.68039MaRDI QIDQ3696523
Paul Walton jun. Purdom, Cynthia A. Brown
Publication date: 1985
68Q99: Theory of computing
Related Items
Term rewriting and its application to recognizing handwritten Hindu numerals, More efficient bottom-up multi-pattern matching in trees, Parallel tree pattern matching, Fast Knuth-Bendix completion with a term rewriting system compiler, On the solution of linear recurrence equations, A Real Elementary Approach to the Master Recurrence and Generalizations