| Publication | Date of Publication | Type |
|---|
Normalization of terms in sharp models of logic of proofs LP
Moscow University Mathematics Bulletin | 2024-05-29 | Paper |
On sharp and single-conclusion justification models
Journal Of Logic And Computation | 2022-02-08 | Paper |
The sharpness property of justification logic
Moscow University Mathematics Bulletin | 2020-08-12 | Paper |
Cut elimination and complexity bounds for intuitionistic epistemic logic
Journal Of Logic And Computation | 2020-04-29 | Paper |
On the sharpness and the single-conclusion property of basic justification models
(available as arXiv preprint) | 2018-04-06 | Paper |
Sequent Calculus for Intuitionistic Epistemic Logic IEL
Logical Foundations of Computer Science | 2017-07-21 | Paper |
Primal implication as encryption
Computer Science - Theory and Applications | 2014-06-24 | Paper |
| scientific article; zbMATH DE number 5993869 (Why is no real title available?) | 2012-01-01 | Paper |
On symbolic models for single-conclusion logic of proofs
Sbornik: Mathematics | 2011-09-27 | Paper |
Symbolic models for single-conclusion proof logics
Computer Science – Theory and Applications | 2010-06-22 | Paper |
Reference Constructions in the Single-conclusion Proof Logic
Journal Of Logic And Computation | 2007-04-13 | Paper |
Referential logic of proofs
Theoretical Computer Science | 2006-08-16 | Paper |
The single-conclusion proof logic and inference rules specification
Annals of Pure and Applied Logic | 2002-09-16 | Paper |
Effective simultaneous approximability of reals.
Theoretical Computer Science | 2002-07-31 | Paper |
| scientific article; zbMATH DE number 1499081 (Why is no real title available?) | 2000-09-03 | Paper |
| scientific article; zbMATH DE number 1285772 (Why is no real title available?) | 1999-05-10 | Paper |
| scientific article; zbMATH DE number 1114340 (Why is no real title available?) | 1998-06-01 | Paper |
Data storage interpretation of labeled modal logic
Annals of Pure and Applied Logic | 1996-07-24 | Paper |
Efficient coding of approximations of real numbers
Mathematical Notes | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4133978 (Why is no real title available?) | 1990-01-01 | Paper |
Admissible topological Markov chains with identifications
Mathematical Notes | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3831924 (Why is no real title available?) | 1982-01-01 | Paper |
The complexity of specifying computable approximations of points of a metric space
Moscow University Mathematics Bulletin | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3730117 (Why is no real title available?) | 1981-01-01 | Paper |
On completely enumerable sets in effectively metric spaces
Moscow University Mathematics Bulletin | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3695160 (Why is no real title available?) | 1979-01-01 | Paper |
