On the Uniform Halting Problem for Term Rewriting Systems

Medical Entomology and Zoology · 1978 · 178 citations · 0 references