Publication | Closed Access
On the Uniform Halting Problem for Term Rewriting Systems
178
Citations
0
References
1978
Year
EngineeringAutomated ReasoningRegulated RewritingUniform Halting ProblemRewriting SystemFormal MethodsComputational ComplexityComputer ScienceFormal VerificationComputability Theory
No additional data available for this publication yet. Check back later!