КФУ. Карточка публикации. First order theories of some lattices of open sets

КАЗАНСКИЙ
ФЕДЕРАЛЬНЫЙ УНИВЕРСИТЕТ

RUS

- EN
- 中文
- ES

FIRST ORDER THEORIES OF SOME LATTICES OF OPEN SETS

Форма представления

Статьи в зарубежных журналах и сборниках

Год публикации

2017

Язык

английский

Авторы, сотрудники КФУ

Селиванов Виктор Львович, автор

Другие авторы

Кудинов Олег Викторович, автор

Библиографическое описание на языке оригинала

Kudinov, O. First order theories of some lattices of open sets [Text] / O. Kudinov, V. Selivanov// Logical Methods in Computer Science. – 2017. – V. 13, №. 3:16. - P. 1-18. https://lmcs.episciences.org/

Ключевые слова

Open set, effectively open set, lattice, first-order theory, interpretation

Название журнала

Logical Methods in Computer Science

Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на эту карточку

https://repository.kpfu.ru/?p_id=180094

Файлы ресурса

Название файла	Размер (Мб)	Формат
KudinovLatOpen.pdf	0,39	pdf	посмотреть / скачать

Полная запись метаданных

Поле DC	Значение	Язык
dc.contributor.author	Селиванов Виктор Львович	ru_RU
dc.contributor.author	Кудинов Олег Викторович	ru_RU
dc.date.accessioned	2017-01-01T00:00:00Z	ru_RU
dc.date.available	2017-01-01T00:00:00Z	ru_RU
dc.date.issued	2017	ru_RU
dc.identifier.citation	Kudinov, O. First order theories of some lattices of open sets [Text] / O. Kudinov, V. Selivanov// Logical Methods in Computer Science. – 2017. – V. 13, №. 3:16. - P. 1-18. https://lmcs.episciences.org/	ru_RU
dc.identifier.uri	https://repository.kpfu.ru/?p_id=180094	ru_RU
dc.description.abstract	Logical Methods in Computer Science	ru_RU
dc.language.iso	ru	ru_RU
dc.subject	Open set	ru_RU
dc.subject	effectively open set	ru_RU
dc.subject	lattice	ru_RU
dc.subject	first-order theory	ru_RU
dc.subject	interpretation	ru_RU
dc.title	First order theories of some lattices of open sets	ru_RU
dc.type	Статьи в зарубежных журналах и сборниках	ru_RU