KEMS

swMATH25421MaRDI QIDQ37160FDOQ37160

Author name not available (Why is that?)

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

Cited In (2)

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

This page was built for software: KEMS