KEMS
From MaRDI portal
Software:37160
swMATH25421MaRDI QIDQ37160FDOQ37160
Author name not available (Why is that?)
Source code repository: https://github.com/adolfont/KEMS
Cited In (2)
- Gen2sat: An Automated Tool for Deciding Derivability in Analytic Pure Sequent Calculi
- Towards an Efficient Prover for the <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:msub><mml:mi>C</mml:mi><mml:mn>1</mml:mn></mml:msub></mml:math> Paraconsistent Logic
This page was built for software: KEMS
