Deutsch
Login
Open Access
Home
Search
Browse
Administration
FAQ
Refine
Author
Heiko Vogler (10)
(remove)
Year of publication
1996
(1)
1994
(3)
1993
(1)
1992
(2)
1991
(2)
1990
(1)
Document Type
Article
(6)
Book
(4)
Language
English
(9)
German
(1)
10
search hits
1
to
10
Export
BibTeX
CSV
RIS
100
10
20
50
100
Sort by
Year
Year
Title
Title
Author
Author
An abstract machine for the E-Unification with macro tree transducer
(1993)
Heinz Faßbender
;
Heiko Vogler
;
Andrea Wedel
A narrowing machine for the functional logic language BABEL, restricted to primitive recursion : abstract
(1991)
Heinz Faßbender
;
Heiko Vogler
Implementierung eines universellen Unifikationsalgorithmus für Macro Tree Transducer
(1994)
Heinz Faßbender
;
Heiko Vogler
A universal unification algorithm based on unification-driven leftmost outermost narrowing
(1994)
Heinz Faßbender
;
Heiko Vogler
Implementation of a deterministic partial e-unification algorithm for macro tree transducers
(1996)
Heinz Faßbender
;
Andrea Mößle
;
Heiko Vogler
An implementation of syntax directed functional programming on nested-stack machines
(1992)
Heinz Faßbender
;
Heiko Vogler
A universal unification algorithm based on unification driven leftmost outermost narrowing
(1992)
Heinz Faßbender
;
Heiko Vogler
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
10