Levels of undecidability in rewriting

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

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

16 Citationer (Scopus)
OriginalsprogEngelsk
TidsskriftInformation and Computation
Vol/bind209
Udgave nummer2
Sider (fra-til)227-245
Antal sider19
ISSN0890-5401
DOI
StatusUdgivet - 2011

Citationsformater