An abstract machine for the E-Unification with macro tree transducer
Author: | Heinz Faßbender, Heiko Vogler, Andrea Wedel |
---|---|
Parent Title (English): | 7th International Workshop on Unification : 13. 06. - 14. 06. 93 / Franz Baader ... (eds.). [Boston University, Boston, USA] |
Document Type: | Article |
Language: | English |
Year of Completion: | 1993 |
Institutes: | FH Aachen / Fachbereich Elektrotechnik und Informationstechnik |