Skip to main navigation
Skip to search
Skip to main content
University of Copenhagen Research Portal Home
Help & FAQ
Dansk
English
Home
Profiles
Research output
Research units
Press/Media
Activities
Prizes
???studenttheses???
Datasets
Search by expertise, name or affiliation
Partial order infinitary term rewriting
Patrick Bahr
Department of Computer Science
3
Citations (Scopus)
44
Downloads (Pure)
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Partial order infinitary term rewriting'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Mathematics
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%