Bookmark
Next issue
№1
Publication date:
16 March 2021
L.A. Chagrova
Ph.D (chagrovy@mail.ru)
Associate Professor
Tver State University
Author in:
- Algorithmic undecidability of the problem of first-order correspondence of computational tree logic formulas Co-authors: M.N. Rybakov