Herod

MaRDI QIDQ21428swMATHFDO

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

Cited in

(10)

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

This page was built for software: Herod