HyLoTab
From MaRDI portal
swMATH13662MaRDI QIDQ25576FDOQ25576
Author name not available (Why is that?)
Official website: http://hackage.haskell.org/package/hylotab
Cited In (16)
- Hybrid logical analyses of the ambient calculus
- Hybrid specification of reactive systems: an institutional approach
- GHC
- Herod
- Pilate
- Sibyl
- HTab
- Spartacus
- HyLoBan
- HyLoRes
- HGen
- Hybrid Logical Analyses of the Ambient Calculus
- A prover dealing with nominals, binders, transitivity and relation hierarchies
- HTab: a terminating tableaux system for hybrid logic
- Experiments in theorem proving for topological hybrid logic
- An efficient approach to nominal equalities in hybrid logic tableaux
This page was built for software: HyLoTab
