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
Levels of undecidability in rewriting
Jörg Endrullis, Herman Geuvers,
Jakob Grue Simonsen
, Hans Zantema
Department of Computer Science
13
Citations (Scopus)
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Levels of undecidability in rewriting'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Analytic Hierarchy
66%
Open Terms
66%
First Order Term
66%
Arithmetical Hierarchy
66%
Uniform Properties
33%
Dependency Problem
33%
Minimality
33%
Function Variable
33%
Dependency Pairs
33%
Strong Normalization
33%
Precise Classification
33%
Folklore
33%
Weak Normalization
33%
Mathematics
Undecidability
100%
Arithmetical Hierarchy
66%
Minimality
33%
Uniform Property
33%
Computer Science
Arithmetical Hierarchy
100%
Strong Normalization
50%
Function Variable
50%