Pilate
From MaRDI portal
Software:21429
No author found.
Related Items (3)
Herod and Pilate: Two Tableau Provers for Basic Hybrid Logic ⋮ Termination for Hybrid Tableaus ⋮ A prover dealing with nominals, binders, transitivity and relation hierarchies
This page was built for software: Pilate
