Deutsch
Login
Open Access
Home
Search
Browse
Administration
FAQ
Refine
Author
Heinz Faßbender (3)
(remove)
Year of publication
1996 (3)
(remove)
Document Type
Article
(2)
Book
(1)
3
search hits
1
to
3
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
(1996)
Heinz Faßbender
;
Andrea Mößle
;
Heiko Vogler
A strict border for the decidability of e-unification for recursive functions
(1996)
Heinz Faßbender
;
Sebastian Maneth
A strict border for the decidability of e-unification for recursive functions / Faßbender, Heinz ; Maneth, Sebastian
(1996)
Heinz Faßbender
;
Sebastian Maneth
1
to
3