A modular equational generalization algorithm

Keyphrases

• Function Symbols 100%
• Generalized Algorithm 100%
• Least General Generalization 100%
• Rule-based Languages 100%
• Web Tool 50%
• Test Case Generator 50%
• Complete Set 50%
• Publicly Available 50%
• Maude 50%
• Machine Learning Techniques 50%
• Commutativity 50%
• Theorem Prover 50%
• Empty Set 50%
• Associativity 50%
• Inference Rules 50%
• Equational Theory 50%
• Elan 50%
• Algebraic Laws 50%

Computer Science

• Function Symbol 100%
• Machine Learning Technique 50%
• Theorem Prover 50%
• Associativity 50%
• Inference Rule 50%
• Equational Theory 50%
• Commutativity 50%

Mathematics

• Modulo 100%
• Complete Set 50%
• Commutativity 50%
• Empty Set 50%
• Associativity 50%