Degrees of undecidability in term rewriting (2009)

Cached

Download Links

by Jörg Endrullis , Herman Geuvers , Hans Zantema
Venue:Proceedings of Computer 30 Logic (CSL09), volume 5771 of Lecture Notes in Computer Science
Citations:2 - 1 self