The following pages link to Fausto Giunchiglia (Q219437):
Displaying 5 items.
- Building decision procedures for modal logics from propositional decision procedures: The case study of modal \(K(m)\). (Q1854375) (← links)
- NuSMV: A new symbolic model checker (Q1856168) (← links)
- ML systems: A proof theory for contexts (Q1863751) (← links)
- Mechanizing Mathematical Reasoning (Q5717462) (← links)
- The control layer in open mechanized reasoning systems: Annotations and tactics (Q5950930) (← links)
