Skip to main navigation
Skip to search
Skip to main content
University of Copenhagen Research Portal Home
Help & FAQ
Dansk
English
Home
Profiles
Research output
Research units
Press/Media
Activities
Prizes
???studenttheses???
Datasets
Search by expertise, name or affiliation
Bounded combinatory logic
Boris Düdder
, Moritz Martens, Jakob Rehof, Paweł Urzyczyn
19
Citations (Scopus)
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Bounded combinatory logic'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
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%