The following pages link to HyLoTab (Q25576):
Displayed 7 items.
- Hybrid logical analyses of the ambient calculus (Q964494) (← links)
- A prover dealing with nominals, binders, transitivity and relation hierarchies (Q2303237) (← links)
- An efficient approach to nominal equalities in hybrid logic tableaux (Q2901189) (← links)
- Hybrid Specification of Reactive Systems: An Institutional Approach (Q3095244) (← links)
- Hybrid Logical Analyses of the Ambient Calculus (Q3612655) (← links)
- HTab: a Terminating Tableaux System for Hybrid Logic (Q4982111) (← links)
- Experiments in Theorem Proving for Topological Hybrid Logic (Q4982128) (← links)