Pilate

MaRDI QIDQ21429swMATHFDO

Official website http://cialdea.dia.uniroma3.it/herod/

Cited in

(10)

• Herod
• Sibyl
• HTab
• Spartacus
• HyLoTab
• HyLoRes
• HGen
• Termination for Hybrid Tableaus
• Herod and Pilate: two tableau provers for basic hybrid logic
• A prover dealing with nominals, binders, transitivity and relation hierarchies

This page was built for software: Pilate