HyLoRes
From MaRDI portal
Software:29515
No author found.
Related Items (7)
A Modal-Layered Resolution Calculus for K ⋮ Unnamed Item ⋮ Model checking hybrid logics (with an application to semistructured data) ⋮ A prover dealing with nominals, binders, transitivity and relation hierarchies ⋮ \(\mathrm{K}_{\mathrm S}\mathrm{P}\) a resolution-based theorem prover for \({\mathsf{K}}_n\): architecture, refinements, strategies and experiments ⋮ Hybrid Specification of Reactive Systems: An Institutional Approach ⋮ HTab: a Terminating Tableaux System for Hybrid Logic
This page was built for software: HyLoRes
