Computable isomorphisms of distributive lattices › Research Explorer

Novosibirsk State University's Research Portal

Computable isomorphisms of distributive lattices

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

DOI

https://doi.org/10.1007/978-3-030-14812-6_3
Final published version

Nikolay Bazhenov
Manat Mustafa
Mars Yamaleev

Original language	English
Title of host publication	Theory and Applications of Models of Computation - 15th Annual Conference, TAMC 2019, Proceedings
Editors	Junzo Watada, T. V. Gopal
Publisher	Springer-Verlag GmbH and Co. KG
Pages	28-41
Number of pages	14
ISBN (Print)	9783030148119
DOIs	https://doi.org/10.1007/978-3-030-14812-6_3
Publication status	Published - 1 Jan 2019
Event	15th Annual Conference on Theory and Applications of Models of Computation, TAMC 2019 - Kitakyushu, Japan Duration: 13 Apr 2019 → 16 Apr 2019

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	11436 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	15th Annual Conference on Theory and Applications of Models of Computation, TAMC 2019
Country/Territory	Japan
City	Kitakyushu
Period	13.04.2019 → 16.04.2019

OECD FOS+WOS

1.01 MATHEMATICS
1.02 COMPUTER AND INFORMATION SCIENCES

Research areas

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

ID: 19649895