A compiler for a class of conditional term rewriting systems

1988 ◽  
pp. 84-90 ◽  
Author(s):  
Alfons Geser ◽  
Heinrich Hussmann ◽  
Andreas Mück
Keyword(s):  
Term Rewriting ◽  
Term Rewriting Systems ◽  
Rewriting Systems ◽  
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

scholarly journals Modular Properties of Conditional Term Rewriting Systems

1993 ◽  
Vol 104 (1) ◽  
pp. 110-158 ◽  
Author(s):  
A. Middeldorp
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