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
The Pi-0-2-Completeness of most of the Properties of Rewriting You Care About (and Productivity)
Jakob Grue Simonsen
Department of Computer Science
4
Citations (Scopus)
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'The Pi-0-2-Completeness of most of the Properties of Rewriting You Care About (and Productivity)'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Local Confluence
100%
Term Rewriting Systems
75%
Local Completeness
50%
Rewriting System
25%
Undecidable
25%
Recursively Enumerable
25%
Undecidability
25%
Computer Science
Term Rewriting Systems
100%