185 citations · 371 across the 28 of their papers we have counts for
Showing cs.CCShow all
2 papers · 1 filter
cs.CC1993
Textbook examples of recursion
Donald E. Knuth
We discuss properties of recursive schemas related to McCarthy's ``91 function'' and to Takeuchi's triple recursion. Several theorems are proposed as interesting candidates for mac…
cs.CC1993
Nested satisfiability
Donald E. Knuth
A special case of the satisfiability problem, in which the clauses have a hierarchical structure, is shown to be solvable in linear time, assuming that the clauses have been repres…