TY -
GEN
AU - Bellantoni, Stephen J.
AU - Niggl, Karl-Heinz
AU - Schwichtenberg, Helmut
TI -
Higher type recursion, ramification and polynomial time
PB - Elsevier BV
SN - 0168-0072
KW - Logic
PY - 2000
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -