An abstract machine for the E-Unification with macro tree transducer
| Verfasserangaben: | Heinz Faßbender, Heiko Vogler, Andrea Wedel |
|---|---|
| Titel des übergeordneten Werkes (Englisch): | 7th International Workshop on Unification : 13. 06. - 14. 06. 93 / Franz Baader ... (eds.). [Boston University, Boston, USA] |
| Dokumentart: | Wissenschaftlicher Artikel |
| Sprache: | Englisch |
| Erscheinungsjahr: | 1993 |
| Datum der Publikation (Server): | 18.12.2012 |
| Fachbereiche und Einrichtungen: | FH Aachen / Fachbereich Elektrotechnik und Informationstechnik |
