Deutsch
Login
Open Access
Home
Search
Browse
Administration
FAQ
Book
Refine
Author
Heinz Faßbender (1)
(remove)
Year of publication
1992 (1)
(remove)
Document Type
Book (1)
(remove)
1
search hit
1
to
1
Export
BibTeX
CSV
RIS
10
10
20
50
100
A universal unification algorithm based on unification driven leftmost outermost narrowing
(1992)
Heinz Faßbender
;
Heiko Vogler
1
to
1