The following pages link to (Q4809053):
Displaying 5 items.
- A prover dealing with nominals, binders, transitivity and relation hierarchies (Q2303237) (← links)
- \(\mathrm{K}_{\mathrm S}\mathrm{P}\) a resolution-based theorem prover for \({\mathsf{K}}_n\): architecture, refinements, strategies and experiments (Q2303247) (← links)
- Model checking hybrid logics (with an application to semistructured data) (Q2506828) (← links)
- Hybrid Specification of Reactive Systems: An Institutional Approach (Q3095244) (← links)
- A Modal-Layered Resolution Calculus for K (Q3455770) (← links)
