ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
function sorts
Recently Published Documents
TOTAL DOCUMENTS
2
(FIVE YEARS 0)
H-INDEX
1
(FIVE YEARS 0)
Latest Documents
Most Cited Documents
Contributed Authors
Related Sources
Related Keywords
Latest Documents
Most Cited Documents
Contributed Authors
Related Sources
Related Keywords
Unification in a sorted λ-calculus with term declarations and function sorts
KI-94: Advances in Artificial Intelligence - Lecture Notes in Computer Science
◽
10.1007/3-540-58467-6_29
◽
1994
◽
pp. 331-342
Author(s):
Michael Kohlhase
Keyword(s):
And Function
◽
Function Sorts
Download Full-text
Unification in an extensional lambda calculus with ordered function sorts and constant overloading
Automated Deduction — CADE-12 - Lecture Notes in Computer Science
◽
10.1007/3-540-58156-1_45
◽
1994
◽
pp. 620-634
◽
Cited By ~ 2
Author(s):
Patricia Johann
◽
Michael Kohlhase
Keyword(s):
Lambda Calculus
◽
Function Sorts
Download Full-text
Load More ...
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close