КФУ. Карточка публикации. Computable isomorphisms of distributive lattices

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

RUS

- EN
- 中文
- ES

COMPUTABLE ISOMORPHISMS OF DISTRIBUTIVE LATTICES

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

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

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

2019

Язык

английский

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

Ямалеев Марс Мансурович, автор

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

Баженов Николай Алексеевич, автор

Мустафа Манат , автор

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

Bazhenov, N., Mustafa, M., Yamaleev, M. Computable isomorphisms of distributive lattices (2019) Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 11436 LNCS, pp. 28-41.

Аннотация

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

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

Computable categoricity, Computable metric space, Computable reducibility, Distributive lattice, Equivalence relation

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

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

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

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

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

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

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

Поле DC	Значение	Язык
dc.contributor.author	Ямалеев Марс Мансурович	ru_RU
dc.contributor.author	Баженов Николай Алексеевич	ru_RU
dc.contributor.author	Мустафа Манат	ru_RU
dc.date.accessioned	2019-01-01T00:00:00Z	ru_RU
dc.date.available	2019-01-01T00:00:00Z	ru_RU
dc.date.issued	2019	ru_RU
dc.identifier.citation	Bazhenov, N., Mustafa, M., Yamaleev, M. Computable isomorphisms of distributive lattices (2019) Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 11436 LNCS, pp. 28-41.	ru_RU
dc.identifier.uri	https://repository.kpfu.ru/?p_id=206737	ru_RU
dc.description.abstract	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)	ru_RU
dc.description.abstract	We study complexity of isomorphisms between distributive lattices	ru_RU
dc.language.iso	ru	ru_RU
dc.subject	Computable categoricity	ru_RU
dc.subject	Computable metric space	ru_RU
dc.subject	Computable reducibility	ru_RU
dc.subject	Distributive lattice	ru_RU
dc.subject	Equivalence relation	ru_RU
dc.title	Computable isomorphisms of distributive lattices	ru_RU
dc.type	Статьи в зарубежных журналах и сборниках	ru_RU