Levels of undecidability in rewriting
Jörg Endrullis, Herman Geuvers, Jakob Grue Simonsen, Hans ZantemaVolume:
209
Year:
2011
Language:
english
Pages:
19
DOI:
10.1016/j.ic.2010.09.003
File:
PDF, 416 KB
english, 2011