Spring til hovednavigation
Spring til søgning
Spring til hovedindhold
Københavns Universitets forskningsportal Forside
Hjælp og OSS
Dansk
English
Forside
Profiler
Publikation
Forskningsenheder
Presse/medier
Aktiviteter
Priser
???studenttheses???
Forskningsdatasæt
Søg efter ekspertise, navn eller tilknytning
Call-by-value Termination in the Untyped λ-calculus
Neil D. Jones, Nina Bohr
Datalogisk Institut
9
Citationer (Scopus)
Oversigt
Fingeraftryk
Fingeraftryk
Dyk ned i forskningsemnerne om 'Call-by-value Termination in the Untyped λ-calculus'. Sammen danner de et unikt fingeraftryk.
Sorter
Vægt
Alfabetisk
Matematik
Termination
100%
Calculus
75%
Terminate
43%
Sound
36%
Numeral
27%
Evaluation
27%
Halting Problem
26%
Regular Sets
22%
Recursive Algorithm
22%
Undecidability
22%
Grammar
20%
Arbitrary
19%
Recursion
18%
First-order
12%
Imply
12%
Subset
10%
Teknik og materialevidenskab
Acoustic waves
25%
Religious buildings
22%