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: normalising reduction strategies
Jeroen Ketema,
Jakob Grue Simonsen
Datalogisk Institut
9
Citationer (Scopus)
37
Downloads (Pure)
Oversigt
Fingeraftryk
Fingeraftryk
Dyk ned i forskningsemnerne om 'Infinitary combinatory reduction systems: normalising reduction strategies'. Sammen danner de et unikt fingeraftryk.
Sorter
Vægt
Alfabetisk
Matematik
Calculus
28%
First-order
24%
Generalise
19%
Rewriting
39%
Strategy
100%