Чеботарев, А. Н.     Некоторые подмножества монадической логики первого порядка (MFO), используемые для спецификации и синтеза ?-автоматов [Текст] / А. Н. Чеботарев // Кибернетика и системный анализ. - Київ : Інститут кібернетики ім. В. М. Глушкова НАН України, 2017. - Т. 53, № 4. - С. 22-36. - Библиогр. в конце ст. Кл.слова (ненормовані): логіки першого порядку -- формули минулого часу -- автоматна семантика Є примірники у відділах: всього 1 : ГП ЧЗ (1) Вільні: ГП ЧЗ (1)