Search
Research and practice journal
Software & Systems
ISSN 0236-235X (P)
ISSN 2311-2735 (E)
Send article
About
Contacts
Editorial Board
Journal scope
Current issue
Content
Authors
Journal archive
Subscription
For authors
Submission Requirements
Review
Publication Ethics
Journal influence
Higher Attestation Commission (VAK) - К1 quartile
Russian Science Citation Index (RSCI)
Bookmark
Next issue
№
3
Publication date:
13 September 2024
Issues
2024
№2 2024
№1 2024
2023
№4 2023
№3 2023
all issues
Keyword: computational tree logic
Algorithmical power of some fragments of computational tree logic
Authors:
Духовнева А.В.
,
Рыбаков М.Н.
,
Шкатов Д.П.
Algorithmic undecidability of the problem of first-order correspondence of computational tree logic formulas
Authors:
Рыбаков М.Н.
,
Чагрова Л.А.