Limes-Erkennung rekursiver Funktionen durch spezielle Strategien (1976)

by R Wiehagen
Venue:Journal of Information Processing and Cybernetics (EIK