A strict border for the decidability of e-unification for recursive functions
| Verfasserangaben: | Heinz Faßbender, Sebastian Maneth |
|---|---|
| Verlag: | TU, Fak. Informatik |
| Verlagsort: | Dresden |
| Dokumentart: | Buch (Monographie) |
| Sprache: | Englisch |
| Erscheinungsjahr: | 1996 |
| Datum der Publikation (Server): | 18.12.2012 |
| Umfang: | 27 S. : graph. Darst. |
| Bemerkung: | (Technische Berichte ; 96,21) |
| Fachbereiche und Einrichtungen: | FH Aachen / Fachbereich Elektrotechnik und Informationstechnik |
