The following pages link to (Q4860657):
Displaying 9 items.
- Abstract valuation semantics (Q368484) (← links)
- A more expressive formulation of many sorted logic (Q1101261) (← links)
- Unification in sort theories and its applications (Q1380412) (← links)
- First-order automated reasoning with theories: when deduction modulo theory meets practice (Q2209546) (← links)
- SPASS & FLOTTER version 0.42 (Q4647508) (← links)
- Unification in pseudo-linear sort theories is decidable (Q4647533) (← links)
- Axiomatization of Typed First-Order Logic (Q5206956) (← links)
- Tableau methods for a logic with term declarations (Q5927986) (← links)
- Reasoning with preorders and dynamic sorts using free variable tableaux (Q6560387) (← links)