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 and Böhm trees
Patrick Bahr
Datalogisk Institut
11
Citationer (Scopus)
1118
Downloads (Pure)
Oversigt
Fingeraftryk
Fingeraftryk
Dyk ned i forskningsemnerne om 'Partial order infinitary term rewriting and Böhm trees'. Sammen danner de et unikt fingeraftryk.
Sorter
Vægt
Alfabetisk
Matematik
Term Rewriting
100%
Partial Order
73%
Reachability
52%
Metric
48%
Term Rewriting Systems
31%
Lemma
19%
Equate
17%
Model
16%
Term
13%
Compression
12%
Strong Convergence
11%
Corollary
9%
Roots
9%
Alternatives
7%