Herod

swMATH9445MaRDI QIDQ21428FDOQ21428

Author name not available (Why is that?)

Cited In (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: Herod