scientific article
From MaRDI portal
Publication:3696523
zbMath0576.68039MaRDI QIDQ3696523
Cynthia A. Brown, Paul Walton jun. Purdom
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (8)
Term rewriting and its application to recognizing handwritten Hindu numerals ⋮ Generating tables for bottom-up matching ⋮ Fast Knuth-Bendix completion with a term rewriting system compiler ⋮ On the solution of linear recurrence equations ⋮ Parallel tree pattern matching ⋮ A Real Elementary Approach to the Master Recurrence and Generalizations ⋮ More efficient bottom-up multi-pattern matching in trees ⋮ An efficient subsumption test pipeline for BS(LRA) clauses
This page was built for publication:
