HGen

swMATH28519MaRDI QIDQ40233FDOQ40233

Official website http://hylo.loria.fr/intohylo/hgen.php

Cited in

(11)

• A prover dealing with nominals, binders, transitivity and relation hierarchies
• Dealing with Symmetries in Modal Tableaux
• Symmetric blocking
• Herod
• Pilate
• Sibyl
• HTab
• Spartacus
• HyLoTab
• HyLoRes
• DeReS

This page was built for software: HGen