![](/img/cover-not-exists.png)
Parametrization over inductive relations of a bounded number of variables
Gregory L. McColmVolume:
48
Year:
1990
Language:
english
Pages:
32
DOI:
10.1016/0168-0072(90)90043-2
File:
PDF, 2.08 MB
english, 1990