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
Partial order infinitary term rewriting
Patrick Bahr
Datalogisk Institut
3
Citationer (Scopus)
44
Downloads (Pure)
Oversigt
Fingeraftryk
Fingeraftryk
Dyk ned i forskningsemnerne om 'Partial order infinitary term rewriting'. Sammen danner de et unikt fingeraftryk.
Sorter
Vægt
Alfabetisk
Matematik
Alternatives
7%
Divergence
10%
Metric
40%
Model
24%
Normal Form
10%
Partial
8%
Partial Order
73%
Strong Convergence
11%
Term
19%
Term Rewriting
100%
Term Rewriting Systems
15%