TY  - BOOK
A1  - Faßbender, Heinz
T1  - E-Unifikation für primitiv-rekursive Baumfunktionen : Semantik und Implementierung. - Als Ms. gedr.
Y1  - 1995
UR  - https://opus.bibliothek.fh-aachen.de/opus4/frontdoor/index/index/docId/3669
SN  - 3-8265-0917-X
N1  - (Berichte aus der Informatik) ; Zugl.: Ulm, Univ., Diss., 1995
PB  - Shaker
CY  - Aachen
ER  -