Pages that link to "Item:Q5881188"

The following pages link to Inductive theorem proving by consistency for first-order clauses (Q5881188):

Displaying 5 items.

• Superposition for Fixed Domains (Q3540186) (← links)
• (Q4249033) (← links)
• On notions of inductive validity for first-order equational clauses (Q5210769) (← links)
• Types for Proofs and Programs (Q5712303) (← links)
• A constructor-based approach for positive/negative-conditional equational specifications (Q5881186) (← links)