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 |
| Date of the Publication (Server): | 2012/12/18 |
| Length: | IX, 272 S. : graph. Darst. |
| Note: | (Berichte aus der Informatik) ; Zugl.: Ulm, Univ., Diss., 1995 |
| Institutes: | FH Aachen / Fachbereich Elektrotechnik und Informationstechnik |
