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
Infinitary Combinatory Reduction Systems: Confluence
Jeroen Ketema,
Jakob Grue Simonsen
Datalogisk Institut
12
Citationer (Scopus)
Oversigt
Fingeraftryk
Fingeraftryk
Dyk ned i forskningsemnerne om 'Infinitary Combinatory Reduction Systems: Confluence'. Sammen danner de et unikt fingeraftryk.
Sorter
Vægt
Alfabetisk
Matematik
Confluence
100%
Rewriting
36%
Normal Form
28%
Modulo
13%
Corollary
12%
Higher Order
11%
First-order
10%