Deutsch
Login
Open Access
Home
Search
Browse
Administration
FAQ
Author(s)
All words
At least one word
None of the words
Title
All words
At least one word
None of the words
Additional Person(s)
All words
At least one word
None of the words
Referee(s)
All words
At least one word
None of the words
Abstract
All words
At least one word
None of the words
Fulltext
All words
None of the words
Refine
Author
Heinz Faßbender
(3)
Heiko Vogler
(2)
Andrea Wedel
(1)
Year of publication
1992 (3)
(remove)
Document Type
Article
(2)
Book
(1)
Language
English
(2)
German
(1)
3
search hits
1
to
1
Export
BibTeX
CSV
RIS
1
10
20
50
100
A universal unification algorithm based on unification driven leftmost outermost narrowing
(1992)
Heinz Faßbender
;
Heiko Vogler
1
to
1