Vladimir N. Krupski
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
2
Active years
2010–2018
Best venue rank
National
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | LFCS | On the Sharpness and the Single-Conclusion Property of Basic Justification Models. | Vladimir N. Krupski |
| 2016 | LFCS | Sequent Calculus for Intuitionistic Epistemic Logic IEL. | Vladimir N. Krupski, Alexey Yatmanov |
| 2014 | CSR | Primal Implication as Encryption. | Vladimir N. Krupski |
| 2010 | CSR | Symbolic Models for Single-Conclusion Proof Logics. | Vladimir N. Krupski |