| Полное название | Balbiani P., Rybakov M. An axiomatization of iteration-free PDL with loop // XII Tbilisi Symposium of Language, Logic and Computation. Lagodekhi, Georgia: Centre for Language, Logic and Speech at the Tbilisi State University, 2017. P.49–53. |
| Тип публикации | Статья в трудах конференции |
| Язык | Английский |
| URL | http://events.illc.uva.nl/Tbilisi/Tbilisi2017/ |
|
РИНЦ
Перечень ВАК
Web of Science
Scopus
Зарубежное издательство Научно-популярное издание |
|
| С участием зарубежных ученых |
Внесено в базу
01.01.1900 0:00:00