Pilate

swMATH9446MaRDI QIDQ21429FDOQ21429

Author name not available (Why is that?)

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

Cited In (10)

• Herod
• Sibyl
• HTab
• Spartacus
• HyLoTab
• HyLoRes
• Termination for Hybrid Tableaus
• HGen
• 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