Deutsch
Login
Open Access
Home
Search
Browse
Administration
FAQ
Book
Refine
Author
Heiko Vogler
(1)
Heinz Faßbender
(1)
Year of publication
1992 (1)
(remove)
Document Type
Book (1)
(remove)
Institute
Fachbereich Elektrotechnik und Informationstechnik (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