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
On modularity in infinitary term rewriting
Jakob Grue Simonsen
*
*
Corresponding author for this work
Department of Computer Science
5
Citations (Scopus)
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'On modularity in infinitary term rewriting'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Mathematics
Collapsing
11%
Confluence
45%
Direct Sum
69%
Equality
7%
Finite Rank
10%
Linear Systems
39%
Modularity
88%
Modulo
7%
Normalization
36%
Rewriting
10%
Term
4%
Term Rewriting
100%
Termination
19%
Engineering & Materials Science
Linear systems
66%