scholarly journals Transformation for Refining Unraveled Conditional Term Rewriting Systems

2007 ◽  
Vol 174 (10) ◽  
pp. 75-95 ◽  
Author(s):  
Naoki Nishida ◽  
Tomohiro Mizutani ◽  
Masahiko Sakai
2012 ◽  
Vol 464 ◽  
pp. 72-89 ◽  
Author(s):  
Masanori Nagashima ◽  
Masahiko Sakai ◽  
Toshiki Sakabe

Sign in / Sign up

Export Citation Format

Share Document