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 |
| Date of the Publication (Server): | 2012/12/18 |
| Institutes: | FH Aachen / Fachbereich Elektrotechnik und Informationstechnik |
