TY  - JOUR
A1  - Faßbender, Heinz
A1  - Wedel, Andrea
T1  - E-Unifikation mit macro tree transducer
JF  - 2. Arbeitstreffen Effiziente Implementierung Funktionaler Programmiersprachen / Arbeitstreffen Effiziente Implementierung Funktionaler Programmiersprachen <2, 1992, Oberjoch>. Herbert Klaeren
Y1  - 1992
SN  - 0946-3852
N1  - (WSI / Wilhelm-Schickard-Institut für Informatik <Tübingen> ; 92,9)
PB  - Wilhelm-Schickard-Inst. für Informatik, Univ.
CY  - Tübingen
ER  - 
TY  - JOUR
A1  - Faßbender, Heinz
A1  - Vogler, Heiko
T1  - An implementation of syntax directed functional programming on nested-stack machines
JF  - Formal Aspects of Computing. 4 (1992), H. 4
Y1  - 1992
SN  - 0934-5043
SP  - 341
EP  - 375
ER  - 
TY  - BOOK
A1  - Faßbender, Heinz
A1  - Vogler, Heiko
T1  - A universal unification algorithm based on unification driven leftmost outermost narrowing
Y1  - 1992
N1  - (Ulmer Informatik-Berichte ; 92,7)
PB  - Univ. Ulm, Fak. für Informatik
CY  - Ulm
ER  -