Minlog

MaRDI QIDQ42138swMATHFDO

Official website https://link.springer.com/chapter/10.1007%2F3-540-63104-6_27

Described by source

• \textsc{Minlog}: a minimal logic theorem prover

Cited in

(1)

• Uniform and non uniform strategies for tableaux calculi for modal logics

This page was built for software: Minlog