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
A confluent rewriting system having no computable, one-step, normalizing strategy
Jakob Grue Simonsen
Department of Computer Science
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'A confluent rewriting system having no computable, one-step, normalizing strategy'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Mathematics
Finitely Generated
62%
Open Problems
56%
Rewriting
80%
Rewriting Systems
90%
Strategy
50%
Term Rewriting Systems
92%
Engineering & Materials Science
Religious buildings
100%