Выполнимость во временной логике с мультиозначиванием, основанной на Z : доклад, тезисы доклада

Описание

Тип публикации: доклад, тезисы доклада, статья из сборника материалов конференций

Конференция: МАЛЬЦЕВСКИЕ ЧТЕНИЯ; Новосибирск; Новосибирск

Год издания: 2020

Ссылки на полный текст

Издание

Журнал: МАЛЬЦЕВСКИЕ ЧТЕНИЯ

Номера страниц: 111

Место издания: Новосибирск

Издатель: Институт математики им. С.Л. Соболева СО РАН

Персоны

Вхождение в базы данных