KFU. Card publication. Computable copies of Boolean and Ershov algebras

COMPUTABLE COPIES OF BOOLEAN AND ERSHOV ALGEBRAS

Form of presentation

Conference proceedings in international journals and collections

Year of publication

2003

Язык

английский

Authors, employees of KFU

Frolov Andrey Nikolaevich, author

Bibliographic description in the original language

A.N. Frolov, Computable copies of Boolean and Ershov algebras // Proceedings of "Logic Colloquium" (Helsinki, Finland, August 14-20), 2003.

Annotation

Proceedings of "Logic Colloquium" (Helsinki, Finland, August 14-20)

Keywords

Computable presentations, Boolean algebras, Ershov algebras

The name of the journal

Proceedings of "Logic Colloquium" (Helsinki, Finland, August 14-20)

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

Field DC	Value	Language
dc.contributor.author	Frolov Andrey Nikolaevich	ru_RU
dc.date.accessioned	2003-01-01T00:00:00Z	ru_RU
dc.date.available	2003-01-01T00:00:00Z	ru_RU
dc.date.issued	2003	ru_RU
dc.identifier.citation	A.N. Frolov, Computable copies of Boolean and Ershov algebras // Proceedings of "Logic Colloquium" (Helsinki, Finland, August 14-20), 2003.	ru_RU
dc.identifier.uri	https://repository.kpfu.ru/eng/?p_id=106558&p_lang=2	ru_RU
dc.description.abstract	Proceedings of "Logic Colloquium" (Helsinki, Finland, August 14-20)	ru_RU
dc.language.iso	ru	ru_RU
dc.subject	Computable presentations	ru_RU
dc.subject	Boolean algebras	ru_RU
dc.subject	Ershov algebras	ru_RU
dc.title	Computable copies of Boolean and Ershov algebras	ru_RU
dc.type	Conference proceedings in international journals and collections	ru_RU