Deutsch
Login
Open Access
Home
Search
Browse
Administration
FAQ
Author(s)
All words
At least one word
None of the words
Title
All words
At least one word
None of the words
Additional Person(s)
All words
At least one word
None of the words
Referee(s)
All words
At least one word
None of the words
Abstract
All words
At least one word
None of the words
Fulltext
All words
None of the words
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
20
10
20
50
100
Sort by
Year
Year
Title
Title
Author
Author
Implementation of a deterministic partial E-unification algorithm for macro tree transducers
(1994)
Heinz Faßbender
;
Heiko Vogler
;
Andrea Wedel
A universal unification algorithm based on unification driven leftmost outermost narrowing
(1992)
Heinz Faßbender
;
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
(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
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
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
An abstract machine for the E-Unification with macro tree transducer
(1993)
Heinz Faßbender
;
Heiko Vogler
;
Andrea Wedel
1
to
10