The following pages link to HyLoRes (Q29515):
Displaying 7 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)
- (Q4809053) (← links)
- HTab: a Terminating Tableaux System for Hybrid Logic (Q4982111) (← links)
