DOI

  • Denis Ponomaryov
  • Mikhail Soutchanski
Язык оригиналаанглийский
Номер статьи16
Число страниц41
ЖурналACM Transactions on Computational Logic
Том18
Номер выпуска2
DOI
СостояниеОпубликовано - 1 июн. 2017

    Предметные области OECD FOS+WOS

ID: 10093953