HGen

swMATH28519MaRDI QIDQ40233FDOQ40233

Author name not available (Why is that?)

Cited In (3)

• Dealing with Symmetries in Modal Tableaux
• Symmetric blocking
• A prover dealing with nominals, binders, transitivity and relation hierarchies

This page was built for software: HGen