Pages that link to "Item:Q1353946"
From MaRDI portal
The following pages link to Embedding complex decision procedures inside an interactive theorem prover. (Q1353946):
Displayed 5 items.
- The SAT-based approach to separation logic (Q862390) (← links)
- Programming for modular reconfigurable robots (Q1758696) (← links)
- Building decision procedures for modal logics from propositional decision procedures: The case study of modal \(K(m)\). (Q1854375) (← links)
- Structured proof procedures (Q1924823) (← links)
- Building decision procedures for modal logics from propositional decision procedures — The case study of modal K (Q4647549) (← links)