HyLoRes
From MaRDI portal
swMATH17660MaRDI QIDQ29515FDOQ29515
Author name not available (Why is that?)
Official website: http://hylo.loria.fr/intohylo/hylores.php
Cited In (16)
- Model checking hybrid logics (with an application to semistructured data)
- Hybrid specification of reactive systems: an institutional approach
- Title not available (Why is that?)
- 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
