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
On modularity in infinitary term rewriting
Jakob Grue Simonsen
*
*
Corresponding author af dette arbejde
Datalogisk Institut
5
Citationer (Scopus)
Oversigt
Fingeraftryk
Fingeraftryk
Dyk ned i forskningsemnerne om 'On modularity in infinitary term rewriting'. Sammen danner de et unikt fingeraftryk.
Sorter
Vægt
Alfabetisk
Matematik
Term Rewriting
100%
Modularity
88%
Direct Sum
69%
Confluence
45%
Linear Systems
39%
Normalization
36%
Termination
19%
Collapsing
11%
Rewriting
10%
Finite Rank
10%
Modulo
7%
Equality
7%
Term
4%
Teknik og materialevidenskab
Linear systems
66%