HyLoTab
From MaRDI portal
Software:25576
No author found.
Related Items (7)
An efficient approach to nominal equalities in hybrid logic tableaux ⋮ Hybrid logical analyses of the ambient calculus ⋮ Hybrid Logical Analyses of the Ambient Calculus ⋮ A prover dealing with nominals, binders, transitivity and relation hierarchies ⋮ Hybrid Specification of Reactive Systems: An Institutional Approach ⋮ HTab: a Terminating Tableaux System for Hybrid Logic ⋮ Experiments in Theorem Proving for Topological Hybrid Logic
This page was built for software: HyLoTab