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
Research output
Prizes
Activities
Press/Media
Search by expertise, name or affiliation
Comparing computational power
Udi Boker
*
,
Nachum Dershowitz
*
Corresponding author for this work
School of Computer Science
Tel Aviv University
Research output
:
Contribution to journal
›
Article
›
peer-review
14
Scopus citations
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Comparing computational power'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Computational Power
100%
Recursive Functions
100%
Partial Recursive Functions
100%
Primitive Recursive Functions
66%
Lambda Calculus
66%
Natural numbers
33%
Computational Model
33%
Models of Computation
33%
Ackermann Function
33%
Turing Machine
33%
Partial Functions
33%
Injective Encoding
33%
Function Unit
33%
Church numeral
33%
Containment Method
33%
Mathematics
Recursive Function
100%
Calculus
33%
Natural Number
16%
Turing Machine
16%
Model of Computation
16%
Primitive Recursive
16%
Proper Subset
16%
Ackermann Function
16%
Partial Function
16%
Primitive Recursive Function
16%
Model Set
16%