HyLoRes
From MaRDI portal
Cited in
(16)- Model checking hybrid logics (with an application to semistructured data)
- Hybrid specification of reactive systems: an institutional approach
- scientific article; zbMATH DE number 2090297 (Why is no real title available?)
- Herod
- Pilate
- Sibyl
- HTab
- Spartacus
- HyLoTab
- HGen
- Lorel
- Lore
- A Modal-Layered Resolution Calculus for K
- \(\mathrm{K}_{\mathrm S}\mathrm{P}\) a resolution-based theorem prover for \({\mathsf{K}}_n\): architecture, refinements, strategies and experiments
- A prover dealing with nominals, binders, transitivity and relation hierarchies
- HTab: a terminating tableaux system for hybrid logic
This page was built for software: HyLoRes
