Old Web
English
Sign In
Acemap
>
Paper
>
Sound Structure-Preserving Transformation for Weakly-Left-Linear Deterministic Conditional Term Rewriting Systems
Sound Structure-Preserving Transformation for Weakly-Left-Linear Deterministic Conditional Term Rewriting Systems
2017
Ryota Nakayama
Naoki Nishida
Masahiko Sakai
Keywords:
Algebra
Computer science
Rewriting
Correction
Cite
Save
Machine Reading By IdeaReader
17
References
0
Citations
NaN
KQI
[]