KEMS

swMATH25421MaRDI QIDQ37160FDOQ37160

Author name not available (Why is that?)

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

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

Cited In (4)

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

This page was built for software: KEMS