scholarly journals Sound Structure-Preserving Transformation for Weakly-Left-Linear Deterministic Conditional Term Rewriting Systems

2017 ◽  
Vol 235 ◽  
pp. 62-77
Author(s):  
Ryota Nakayama ◽  
Naoki Nishida ◽  
Masahiko Sakai
Keyword(s):  
Term Rewriting ◽  
Term Rewriting Systems ◽  
Structure Preserving ◽  
Rewriting Systems ◽  
Sound Structure ◽  
Conditional Term ◽  
Conditional Term Rewriting

scholarly journals Determinization of conditional term rewriting systems

2012 ◽  
Vol 464 ◽  
pp. 72-89 ◽  
Author(s):  
Masanori Nagashima ◽  
Masahiko Sakai ◽  
Toshiki Sakabe
Keyword(s):  
Term Rewriting ◽  
Term Rewriting Systems ◽  
Rewriting Systems ◽  
Conditional Term ◽  
Conditional Term Rewriting
Sign in / Sign up

Export Citation Format

Share Document