Extending the 2D Dependency Pair Framework for Conditional Term Rewriting Systems

2015 ◽  
pp. 113-130 ◽  
Author(s):  
Salvador Lucas ◽  
José Meseguer ◽  
Raúl Gutiérrez
Keyword(s):  
Term Rewriting ◽  
Term Rewriting Systems ◽  
Rewriting Systems ◽  
Conditional Term ◽  
Conditional Term Rewriting ◽  
Dependency Pair

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

Operational termination of conditional term rewriting systems

2005 ◽  
Vol 95 (4) ◽  
pp. 446-453 ◽  
Author(s):  
Salvador Lucas ◽  
Claude Marché ◽  
José Meseguer
Keyword(s):  
Term Rewriting ◽  
Term Rewriting Systems ◽  
Rewriting Systems ◽  
Conditional Term ◽  
Conditional Term Rewriting ◽  
Operational Termination
Sign in / Sign up

Export Citation Format

Share Document