Generalized rewrite theories

Keyphrases

• Rewrite Theory 100%
• Model Theory 50%
• Rule-based Model 50%
• Programming Paradigms 50%
• Maude 50%
• Model Completeness 50%
• Rewriting Logic 50%
• Inference Rules 50%
• Equational Logic 50%
• Logical Frameworks 50%
• Semantic Framework 50%
• Frozen Argument 50%

Computer Science

• Programming Paradigm 100%
• Rewriting Logic 100%
• Inference Rule 100%
• Logical Framework 100%