Minlog

swMATH30424MaRDI QIDQ42138FDOQ42138

Author name not available (Why is that?)

Described by source

• 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