Logic Programs for Primitive Recursive Sets
KÜNZI, URS-MARTINVolume:
3
Year:
1993
Language:
english
Journal:
Journal of Logic and Computation
DOI:
10.1093/logcom/3.4.401
File:
PDF, 678 KB
english, 1993