Publication:3696523
From MaRDI portal
zbMath0576.68039MaRDI QIDQ3696523
Cynthia A. Brown, Paul Walton jun. Purdom
Publication date: 1985
68Q99: Theory of computing
Related Items
Term rewriting and its application to recognizing handwritten Hindu numerals, Generating tables for bottom-up matching, 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, An efficient subsumption test pipeline for BS(LRA) clauses, A Real Elementary Approach to the Master Recurrence and Generalizations