TY - JOUR A1 - Faßbender, Heinz T1 - Implementation of a UU-Algorithm for primitive recursive tree functions T2 - Fundamentals of computation theory : proceedings / 10th International Conference, FCT '95, Dresden, Germany, August 22 - 25, 1995. Horst Reichel (ed.) Y1 - 1995 UR - https://opus.bibliothek.fh-aachen.de/opus4/frontdoor/index/index/docId/3699 SN - 3-540-60249-6 N1 - (Lecture notes in computer science ; 965) SP - 233 EP - 242 PB - Springer CY - Berlin [u.a.] ER -