Order-Sorted Generalization

Keyphrases

• Generalized Algorithm 100%
• Least General Generalization 100%
• Polymorphism 50%
• Maude 50%
• Evaluation Program 50%
• Reasoning System 50%
• Correctness Proofs 50%
• Theorem Proving 50%
• Program Synthesis 50%
• Inference System 50%
• Elan 50%
• Rule-based Languages 50%
• Most General Unifiers 50%
• Partial Evaluation 50%
• Anti-unification 50%

Computer Science

• Theorem Proving 100%
• Reasoning System 100%
• Program Synthesis 100%
• Inference System 100%
• Subtype Polymorphism 100%
• Partial Evaluation 100%
• General Unifier 100%