Skip to main navigation
Skip to search
Skip to main content
Tel Aviv University Home
Update Request & User Guide (TAU staff only)
Home
Experts
Research units
Equipment
Research output
Prizes
Activities
Search by expertise, name or affiliation
Comparing computational power
Udi Boker
*
,
Nachum Dershowitz
*
Corresponding author for this work
School of Computer Science
Research output
:
Contribution to journal
›
Article
›
peer-review
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Comparing computational power'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Mathematics
Recursive Functions
100%
Encoding
47%
Strictly
36%
Partial
32%
Lambda Calculus
26%
Numeral
17%
Models of Computation
14%
Proper subset
14%
Computational Model
14%
Turing Machine
13%
Natural number
11%
Injective
11%
Distinct
8%
Model
7%
Simulation
7%
Standards
6%
Arts & Humanities
Encoding
82%
Computational
74%
Lambda Calculus
53%
Turing Machine
27%
Natural numbers
27%
Containment
27%
Computational Model
25%
Numerals
24%
Simulation
14%