Berechnungsstarken von Teilklassen primitiv-rekursiver Programmschemata (1997)

by A Kuhnemann