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 confluence and residuals in Cauchy convergent transfinite rewriting
Jakob Grue Simonsen
*
*
Corresponding author for this work
Department of Computer Science
11
Citations (Scopus)
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'On confluence and residuals in Cauchy convergent transfinite rewriting'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Mathematics
Cauchy
63%
Confluence
88%
Lemma
28%
Rewriting
80%
Rewriting Systems
90%
Term Rewriting Systems
46%
Engineering & Materials Science
Religious buildings
100%