Deutsch
Login
Open Access
Home
Search
Browse
Administration
FAQ
Refine
Author
Heinz Faßbender (2)
(remove)
Year of publication
1995 (2)
(remove)
Language
English (2)
(remove)
2
search hits
1
to
2
Export
BibTeX
CSV
RIS
20
10
20
50
100
Sort by
Year
Year
Title
Title
Author
Author
A verified implementation of narrowing
(1995)
Heinz Faßbender
Implementation of a UU-Algorithm for primitive recursive tree functions
(1995)
Heinz Faßbender
1
to
2