A strict border for the decidability of e-unification for recursive functions
Author: | Heinz Faßbender, Sebastian Maneth |
---|---|
Publisher: | TU, Fak. Informatik |
Place of publication: | Dresden |
Document Type: | Book |
Language: | English |
Year of Completion: | 1996 |
Length: | 27 S. : graph. Darst. |
Note: | (Technische Berichte ; 96,21) |
Institutes: | FH Aachen / Fachbereich Elektrotechnik und Informationstechnik |