Levels of Undecidability in Rewriting (2011)

Cached

Download Links

by Jörg Endrullis , Herman Geuvers , Jakob Grue Simonsen , Hans Zantema
Citations:2 - 1 self