Deutsch
Login
Open Access
Home
Search
Browse
Administration
FAQ
Book
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)
Institute
Fachbereich Elektrotechnik und Informationstechnik (5)
(remove)
5
search hits
1
to
5
Export
BibTeX
CSV
RIS
10
10
20
50
100
Sort by
Year
Year
Title
Title
Author
Author
A call-by-need implementation of syntax directed functional programming
(1990)
Heinz Faßbender
;
Heiko Vogler
Compiler based implementation of syntax directed functional programming
(1991)
Heinz Faßbender
;
Katia Gladtz
;
Heiko Vogler
A universal unification algorithm based on unification driven leftmost outermost narrowing
(1992)
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
A strict border for the decidability of e-unification for recursive functions
(1996)
Heinz Faßbender
;
Sebastian Maneth
1
to
5