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 |
| Date of the Publication (Server): | 2012/12/18 |
| Length: | 27 S. : graph. Darst. |
| Note: | (Technische Berichte ; 96,21) |
| Institutes: | FH Aachen / Fachbereich Elektrotechnik und Informationstechnik |
