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 |