Deutsch
Login
Open Access
Home
Search
Browse
Publish
FAQ
Book
Refine
Author
Faßbender, Heinz
(1)
Vogler, Heiko
(1)
Year of publication
1992 (1)
(remove)
Institute
Fachbereich Elektrotechnik und Informationstechnik (1)
(remove)
Has Fulltext
no
(1)
Language
English
(1)
Document Type
Book (1)
(remove)
Is part of the Bibliography
yes
(1)
1
search hit
1
to
1
Export
BibTeX
CSV
RIS
50
10
20
50
100
A universal unification algorithm based on unification driven leftmost outermost narrowing
(1992)
Faßbender, Heinz
;
Vogler, Heiko
1
to
1