Deutsch
Login
Open Access
Home
Search
Browse
Publish
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
Schmidt-Schauß, Manfred
(1)
Schulz, Klaus U.
(1)
Year of publication
2001
(1)
Document Type
Working Paper
(1)
Language
English
(1)
Has Fulltext
yes
(1)
Is part of the Bibliography
no
(1)
Institute
Informatik
(1)
1
search hit
1
to
1
10
10
20
50
100
Decidability of bounded higher order unification
(2001)
Schmidt-Schauß, Manfred
;
Schulz, Klaus U.
It is shown that unifiability of terms in the simply zyped lambda calculus with β and η rules becomes decidable if there is a bound on the number of bound variables and lambdas in an unifier in η-long β-normal form.
1
to
1