Pages that link to "Item:Q1353946"

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)