E-Unifikation für primitiv-rekursive Baumfunktionen : Semantik und Implementierung. - Als Ms. gedr.
Author: | Heinz Faßbender |
---|---|
ISBN: | 3-8265-0917-X |
Publisher: | Shaker |
Place of publication: | Aachen |
Document Type: | Book |
Language: | German |
Year of Completion: | 1995 |
Length: | IX, 272 S. : graph. Darst. |
Note: | (Berichte aus der Informatik) ; Zugl.: Ulm, Univ., Diss., 1995 |
Institutes: | FH Aachen / Fachbereich Elektrotechnik und Informationstechnik |