RUS  ENG
Full version
PEOPLE

Choffrut Ch

Publications in Math-Net.Ru

  1. The decision problem for some logics for finite words on infinite alphabets

    Zap. Nauchn. Sem. POMI, 358 (2008),  100–119

© Steklov Math. Inst. of RAS, 2024