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
A confluent rewriting system having no computable, one-step, normalizing strategy
Jakob Grue Simonsen
Datalogisk Institut
Oversigt
Fingeraftryk
Fingeraftryk
Dyk ned i forskningsemnerne om 'A confluent rewriting system having no computable, one-step, normalizing strategy'. Sammen danner de et unikt fingeraftryk.
Sorter
Vægt
Alfabetisk
Matematik
Finitely Generated
62%
Open Problems
56%
Rewriting
80%
Rewriting Systems
90%
Strategy
50%
Term Rewriting Systems
92%
Teknik og materialevidenskab
Religious buildings
100%