HGen

swMATH28519MaRDI QIDQ40233FDOQ40233

Author name not available (Why is that?)

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

Cited In (11)

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

This page was built for software: HGen