Deutsch
Login
Open Access
Home
Search
Browse
Administration
FAQ
Refine
Author
Heinz Faßbender (5)
(remove)
Year of publication
1996
(1)
1994
(1)
1992
(1)
1991
(1)
1990
(1)
Document Type
Book (5)
(remove)
Language
English (5)
(remove)
5
search hits
1
to
5
Export
BibTeX
CSV
RIS
50
10
20
50
100
Sort by
Year
Year
Title
Title
Author
Author
A universal unification algorithm based on unification driven leftmost outermost narrowing
(1992)
Heinz Faßbender
;
Heiko Vogler
A strict border for the decidability of e-unification for recursive functions
(1996)
Heinz Faßbender
;
Sebastian Maneth
Compiler based implementation of syntax directed functional programming
(1991)
Heinz Faßbender
;
Katia Gladtz
;
Heiko Vogler
A call-by-need implementation of syntax directed functional programming
(1990)
Heinz Faßbender
;
Heiko Vogler
Implementation of a deterministic partial E-unification algorithm for macro tree transducers
(1994)
Heinz Faßbender
;
Heiko Vogler
;
Andrea Wedel
1
to
5