menu

Return to entry

Ground_Term_Context
Ground_Superposition
Abstract_Rewriting_Extra
Relation_Extra
Ground_Superposition_Completeness
Ground_Superposition_Soundness
Untyped_Superposition
Ground_Superposition_Compatibility
IsaFoR_Ground_Superposition_Compatibility
Typed_Ground_Superposition
Superposition
Grounded_Superposition
Superposition_Welltypedness_Preservation
Superposition_Completeness
Superposition_Soundness
Superposition_Alternative_Rules
Untyped_Superposition_Inference_System
Untyped_Superposition_Completeness
Untyped_Superposition_Soundness
Monomorphic_Superposition
Sorted_Terms_Superposition
Superposition_Example

Superposition_Calculus.Sorted_Terms_Superposition

HTML Presentation