Deutsch
Login
Open Access
Home
Search
Browse
Administration
FAQ
Article
Refine
Author
Sebastian Maneth (2)
(remove)
Year of publication
1998
(1)
1996
(1)
Document Type
Article (2)
(remove)
2
search hits
1
to
2
Export
BibTeX
CSV
RIS
100
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
1
to
2