KFU. Card publication. Computable isomorphisms of distributive lattices

KAZAN
FEDERAL UNIVERSITY

- RUS
- 中文
- ES

COMPUTABLE ISOMORPHISMS OF DISTRIBUTIVE LATTICES

Form of presentation

Articles in international journals and collections

Year of publication

2019

Язык

английский

Authors, employees of KFU

Yamaleev Mars Mansurovich, author

Other authors

Bazhenov Nikolay Alekseevich, author

Mustafa Manat , author

Bibliographic description in the original language

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.

Annotation

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

Keywords

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

The name of the journal

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

Please use this ID to quote from or refer to the card

https://repository.kpfu.ru/eng/?p_id=206737&p_lang=2

Resource files

File name	Size (MB)	Format
F_paper2019_fromScopus2.pdf	0,40	pdf	show / download

Full metadata record

Field DC	Value	Language
dc.contributor.author	Yamaleev Mars Mansurovich	ru_RU
dc.contributor.author	Bazhenov Nikolay Alekseevich	ru_RU
dc.contributor.author	Mustafa Manat	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/eng/?p_id=206737&p_lang=2	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	Articles in international journals and collections	ru_RU