Levels of undecidability in rewriting

Jörg Endrullis, Herman Geuvers, Jakob Grue Simonsen, Hans Zantema

13 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Levels of undecidability in rewriting'. Together they form a unique fingerprint.

Keyphrases

Mathematics

Computer Science