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
Levels of undecidability in rewriting
Jörg Endrullis, Herman Geuvers,
Jakob Grue Simonsen
, Hans Zantema
Datalogisk Institut
13
Citationer (Scopus)
Oversigt
Fingeraftryk
Fingeraftryk
Dyk ned i forskningsemnerne om 'Levels of undecidability in rewriting'. Sammen danner de et unikt fingeraftryk.
Sorter
Vægt
Alfabetisk
Matematik
Undecidability
100%
Rewriting
95%
Confluence
52%
Hierarchy
35%
Arithmetical Hierarchy
32%
Term Rewriting Systems
27%
Term
22%
First-order
21%
Normalization
21%
Strong Normalization
14%
Quantification
11%
Minimality
11%
Normal Form
9%
Completeness
8%
Distinct
7%