HyLoTab
From MaRDI portal
Software:25576
swMATH13662MaRDI QIDQ25576FDOQ25576
Author name not available (Why is that?)
Cited In (7)
- Hybrid logical analyses of the ambient calculus
- Experiments in Theorem Proving for Topological Hybrid Logic
- HTab: a Terminating Tableaux System for Hybrid Logic
- Hybrid Specification of Reactive Systems: An Institutional Approach
- Hybrid Logical Analyses of the Ambient Calculus
- A prover dealing with nominals, binders, transitivity and relation hierarchies
- An efficient approach to nominal equalities in hybrid logic tableaux
This page was built for software: HyLoTab
