“On first-order expressibility of satisfiability in submodels”, WoLLIC 2019, Lecture Notes in Computer Science, 11541, eds. R. Iemhoff et al., Springer-Verlag, 2019, 584–593
| Авторы: Савельев Д.И. |
 |
|
||||||||||||||||||||||||||||||||||
| русский | english |
|
||||||||||||||||||||||||||||||||||
|
|
||||||||||||||||||||||||||||||||||
© Федеральное государственное бюджетное учреждение науки
Институт проблем передачи информации им. А.А. Харкевича Российской академии наук, 2025
Об институте | Контакты | Противодействие коррупции