Journal influence
Higher Attestation Commission (VAK) - К1 quartile
Russian Science Citation Index (RSCI)
Bookmark
Next issue
№3
Publication date:
13 September 2024
D.P. Shkatov
Ph.D (shkatov@gmail.com)
Ph.D.(Theoretical Computer Science), Senior Lecturer
University of the Witwatersrand
Author in:
- Algorithmical power of some fragments of computational tree logic Co-authors: A.V. Dukhovneva, M.N. Rybakov