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
Keyphrases
Analytic Hierarchy
66%
Open Terms
66%
First Order Term
66%
Arithmetical Hierarchy
66%
Uniform Properties
33%
Dependency Problem
33%
Minimality
33%
Function Variable
33%
Dependency Pairs
33%
Strong Normalization
33%
Precise Classification
33%
Folklore
33%
Weak Normalization
33%
Mathematics
Undecidability
100%
Arithmetical Hierarchy
66%
Minimality
33%
Uniform Property
33%
Computer Science
Arithmetical Hierarchy
100%
Strong Normalization
50%
Function Variable
50%