Deutsch
Login
Open Access
Home
Search
Browse
Administration
FAQ
Refine
Author
Sebastian Maneth (3)
(remove)
Year of publication
1998
(1)
1996
(2)
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
A strict border for the decidability of e-unification for recursive functions / Faßbender, Heinz ; Maneth, Sebastian
(1996)
Heinz Faßbender
;
Sebastian Maneth
A strict border for the decidability of e-unification for recursive functions / Faßbender, Heinz ; Maneth, Sebastian
(1998)
Heinz Faßbender
;
Sebastian Maneth
A strict border for the decidability of e-unification for recursive functions
(1996)
Heinz Faßbender
;
Sebastian Maneth
1
to
3