Pilate

swMATH9446MaRDI QIDQ21429FDOQ21429

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: Pilate