The following pages link to (Q4247075):
Displayed 4 items.
- Search algorithms in type theory (Q1575934) (← links)
- Formally verified tableau-based reasoners for a description logic (Q2351147) (← links)
- Constructive Membership Predicates as Index Types (Q2866329) (← links)
- Constructive Formalization of Hybrid Logic with Eventualities (Q3100197) (← links)