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 confluence and residuals in Cauchy convergent transfinite rewriting
Jakob Grue Simonsen
*
*
Corresponding author af dette arbejde
Datalogisk Institut
11
Citationer (Scopus)
Oversigt
Fingeraftryk
Fingeraftryk
Dyk ned i forskningsemnerne om 'On confluence and residuals in Cauchy convergent transfinite rewriting'. Sammen danner de et unikt fingeraftryk.
Sorter
Vægt
Alfabetisk
Matematik
Cauchy
63%
Confluence
88%
Lemma
28%
Rewriting
80%
Rewriting Systems
90%
Term Rewriting Systems
46%
Teknik og materialevidenskab
Religious buildings
100%