Spring til hovednavigation
Spring til søgning
Spring til hovedindhold
Københavns Universitets forskningsportal Forside
Hjælp og OSS
Dansk
English
Forside
Profiler
Publikation
Forskningsenheder
Presse/medier
Aktiviteter
Priser
???studenttheses???
Forskningsdatasæt
Søg efter ekspertise, navn eller tilknytning
The Pi-0-2-Completeness of most of the Properties of Rewriting You Care About (and Productivity)
Jakob Grue Simonsen
Datalogisk Institut
4
Citationer (Scopus)
Oversigt
Fingeraftryk
Fingeraftryk
Dyk ned i forskningsemnerne om 'The Pi-0-2-Completeness of most of the Properties of Rewriting You Care About (and Productivity)'. Sammen danner de et unikt fingeraftryk.
Sorter
Vægt
Alfabetisk
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%