Old Web
English
Sign In
Acemap
>
Paper
>
A finite termination problem for term rewriting systems
A finite termination problem for term rewriting systems
1984
A. Togashi
S. Noguchi
Keywords:
Discrete mathematics
Algorithm
Mathematics
Rewriting
termination problem
Theoretical computer science
Calculus
Correction
Cite
Save
Machine Reading By IdeaReader
0
References
1
Citations
NaN
KQI
[]