108
Voted
ENTCS
2010
15 years 2 months ago
2010
Spartacus is a tableau prover for hybrid multimodal logic with global modalities and reflexive and transitive relations. Spartacus is the first system to use pattern-based blocking...