Searching for "On the Relation Between Primitive Recursion, Schematization and Divergence." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

On the Relation Between Primitive Recursion, Schematization, and Divergence
by Miki Hermann — 1992 — Proceeding 3rd Conference on Algebraic and Logic Programming, Volterra (Italy), volume 632 of Lecture Notes in Computer Science
…On the Relation Between Primitive Recursion, Schematization, and Divergence Miki HERMANN CRIN…
Cited by 4 (2 self) – Add To MetaCart

Term Schematizations and Their Applications
by M. Hermann, G. Salzer, Divergence In H. Kirchner, G. Levi, G. Salzer Deductive Generalization — 1995
…-18, Universitat Kaiserslautern, Germany, 1988. [9] M. Hermann. On the relation between primitive recursion…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB