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
Bounded combinatory logic
Boris Düdder
, Moritz Martens, Jakob Rehof, Paweł Urzyczyn
19
Citationer (Scopus)
Oversigt
Fingeraftryk
Fingeraftryk
Dyk ned i forskningsemnerne om 'Bounded combinatory logic'. Sammen danner de et unikt fingeraftryk.
Sorter
Vægt
Alfabetisk
Mathematics
Arbitrary Set
100%
Provability
50%
Provable Formula
50%
Variable Type
50%
Expressive Power
50%
Keyphrases
Provability
50%
Nonelementary
50%
Application Perspective
50%
Inhabitation Problems
50%