KEMS

MaRDI QIDQ37160swMATHFDO

Official website http://adolfoneto.wikidot.com/kems

Source code repository https://github.com/adolfont/KEMS

Cited in

(4)

• Gen2sat: an automated tool for deciding derivability in analytic pure sequent calculi
• Towards an efficient prover for the \(C_1\) paraconsistent logic
• MUltlog
• Gen2sat

This page was built for software: KEMS