On the Relation Between Primitive Recursion, Schematization, and Divergence (1992)

Cached

Download Links

by Miki Hermann
Venue:Proceeding 3rd Conference on Algebraic and Logic Programming, Volterra (Italy), volume 632 of Lecture Notes in Computer Science
Citations:7 - 2 self