The following pages link to (Q4411845):
Displaying 8 items.
- Decidability of behavioural equivalence in unary PCF (Q1285665) (← links)
- Decidability of bounded second order unification (Q1887168) (← links)
- Decidability of bounded higher-order unification (Q2456577) (← links)
- (Q2767094) (← links)
- Bounded Second-Order Unification Is NP-Complete (Q3527311) (← links)
- Unification in pseudo-linear sort theories is decidable (Q4647533) (← links)
- Mechanizing Mathematical Reasoning (Q5717438) (← links)
- Automated Deduction – CADE-19 (Q5900735) (← links)