Skip to main navigation
Skip to search
Skip to main content
Tel Aviv University Home
Update Request & User Guide (TAU staff only)
Link opens in a new tab
Search content at Tel Aviv University
Home
Experts
Research units
Research output
Datasets
Prizes
Activities
Press/Media
Primitive rewriting
Nachum Dershowitz
*
*
Corresponding author for this work
School of Computer Science and AI
Research output
:
Chapter in Book/Report/Conference proceeding
›
Chapter
›
peer-review
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Primitive rewriting'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Computer Science
Correspondence Problem
100%
Term Rewriting Systems
100%
Recursive Definition
100%
Primitive Recursive
100%
Turing Machine
100%
Keyphrases
Undecidability
100%
Recursion Theory
66%
Primitive Recursive Functions
33%
Non-orthogonal
33%
Turing Machine
33%
Primitive Word
33%
Term Rewriting
33%
Term Rewriting Systems
33%
Recursive Definition
33%
Post Correspondence Problem
33%
Undecidable Problems
33%