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
Alternatives
7%
Compression
12%
Corollary
9%
Equate
17%
Lemma
19%
Metric
48%
Model
16%
Partial Order
73%
Reachability
52%
Roots
9%
Strong Convergence
11%
Term
13%
Term Rewriting
100%
Term Rewriting Systems
31%