Перегляд за автором "Денисов, А.С."

Сортувати за: Порядок: Результатів:

  • Выполнимость ярких формул 
    Денисов, А.С. (Український математичний журнал, 2007)
    Досліджується один із розв'язних підкласів кванторних формул у чистому численні предикатів. Отримано необхідну та достатню умову здійсненності для формул, що входять до нього.