The following pages link to (Q3586992):
Displaying 7 items.
- Formalization of reliability block diagrams in higher-order logic (Q334147) (← links)
- Analytic tableaux for higher-order logic with choice (Q438561) (← links)
- Combining and automating classical and non-classical logics in classical higher-order logics (Q656826) (← links)
- Formal reliability and failure analysis of Ethernet based communication networks in a smart grid substation (Q782499) (← links)
- Extended First-Order Logic (Q3183527) (← links)
- Progress in the Development of Automated Theorem Proving for Higher-Order Logic (Q5191100) (← links)
- Towards the Formal Reliability Analysis of Oil and Gas Pipelines (Q5495912) (← links)
