KFU. Card publication. Computable copies of distributive lattices with relative complements and linear orderings

KAZAN
FEDERAL UNIVERSITY

- RUS
- 中文
- ES

COMPUTABLE COPIES OF DISTRIBUTIVE LATTICES WITH RELATIVE COMPLEMENTS AND LINEAR ORDERINGS

Form of presentation

Conference proceedings in international journals and collections

Year of publication

2004

��

��

Authors, employees of KFU

Frolov Andrey Nikolaevich, author

Bibliographic description in the original language

A.N. Frolov, Computable copies of distributive lattices with relative complements and linear orderings // Proceedings of "Logic Colloquium" (Turin, Italy, 25-31 July), 2004.

Annotation

Proceedings of "Logic Colloquium" (Turin, Italy, 25-31 July)

Keywords

Computable presentations, distributive lattices with relative complements, linear orderings

The name of the journal

Proceedings of "Logic Colloquium" (Turin, Italy, 25-31 July)

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

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

Full metadata record

Field DC	Value	Language
dc.contributor.author	Frolov Andrey Nikolaevich	ru_RU
dc.date.accessioned	2004-01-01T00:00:00Z	ru_RU
dc.date.available	2004-01-01T00:00:00Z	ru_RU
dc.date.issued	2004	ru_RU
dc.identifier.citation	A.N. Frolov, Computable copies of distributive lattices with relative complements and linear orderings // Proceedings of "Logic Colloquium" (Turin, Italy, 25-31 July), 2004.	ru_RU
dc.identifier.uri	https://repository.kpfu.ru/eng/?p_id=106554&p_lang=2	ru_RU
dc.description.abstract	Proceedings of "Logic Colloquium" (Turin, Italy, 25-31 July)	ru_RU
dc.language.iso	ru	ru_RU
dc.subject	Computable presentations	ru_RU
dc.subject	distributive lattices with relative complements	ru_RU
dc.subject	linear orderings	ru_RU
dc.title	Computable copies of distributive lattices with relative complements and linear orderings	ru_RU
dc.type	Conference proceedings in international journals and collections	ru_RU