TY  - BOOK
A1  - Faßbender, Heinz
A1  - Vogler, Heiko
T1  - A call-by-need implementation of syntax directed functional programming
Y1  - 1990
N1  - (Aachener Informatik-Berichte ; 90,22)
PB  - RWTH, Fachgruppe Informatik
CY  - Aachen
ER  - 
TY  - BOOK
A1  - Faßbender, Heinz
A1  - Gladtz, Katia
A1  - Vogler, Heiko
T1  - Compiler based implementation of syntax directed functional programming
Y1  - 1991
N1  - (Aachener Informatik-Berichte ; 91,10)
PB  - RWTH, Fachgruppe Informatik
CY  - Aachen
ER  - 
TY  - JOUR
A1  - Faßbender, Heinz
A1  - Vogler, Heiko
T1  - A narrowing machine for the functional logic language BABEL, restricted to primitive recursion : abstract
JF  - Granada Workshop on the Integration of Functional and Logic Programming / Granada Workshop on the Integration of Functional and Logic Programming <1990>. K. Indermark ... (ed.)
Y1  - 1991
SP  - 95
EP  - 96
PB  - RWTH, Fachgruppe Informatik
CY  - Aachen
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  - 
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  - JOUR
A1  - Faßbender, Heinz
A1  - Vogler, Heiko
A1  - Wedel, Andrea
T1  - An abstract machine for the E-Unification with macro tree transducer
JF  - 7th International Workshop on Unification : 13. 06. - 14. 06. 93 / Franz Baader ... (eds.). [Boston University, Boston, USA]
Y1  - 1993
ER  - 
TY  - BOOK
A1  - Faßbender, Heinz
A1  - Vogler, Heiko
A1  - Wedel, Andrea
T1  - Implementation of a deterministic partial E-unification algorithm for macro tree transducers
Y1  - 1994
N1  - (Ulmer Informatik-Berichte ; 94,4)
PB  - Univ. Ulm, Fak. für Informatik
CY  - Ulm
ER  - 
TY  - JOUR
A1  - Faßbender, Heinz
A1  - Vogler, Heiko
T1  - A universal unification algorithm based on unification-driven leftmost outermost narrowing
JF  - Acta Cybernetica. 11 (1994), H. 3
Y1  - 1994
SN  - 0324-721x
SP  - 139
EP  - 167
ER  - 
TY  - JOUR
A1  - Faßbender, Heinz
A1  - Vogler, Heiko
T1  - Implementierung eines universellen Unifikationsalgorithmus für Macro Tree Transducer
JF  - Alternative Konzepte für Sprachen und Rechner : Bad Honnef 1993 / J. Ebert (Hrsg.)
Y1  - 1994
N1  - (Fachberichte Informatik ; 94,4)
PB  - Univ., Inst. für Informatik
CY  - Koblenz
ER  - 
TY  - JOUR
A1  - Faßbender, Heinz
A1  - Mößle, Andrea
A1  - Vogler, Heiko
T1  - Implementation of a deterministic partial e-unification algorithm for macro tree transducers
JF  - Journal of functional and logic programming. 1996 (1996), H. 2
Y1  - 1996
SN  - 1080-5230
ER  -