RUS  ENG
Full version
PEOPLE

Zvereva Tatyana Yurievna

Publications in Math-Net.Ru

  1. Linear step-like logic of knowledge $\mathcal{LTK}.{sl}$

    Sib. Èlektron. Mat. Izv., 20:2 (2023),  1361–1373


© Steklov Math. Inst. of RAS, 2025