KFU. Card publication. Уточнение иерархии классов булевых функций, представимых в моделях k-OBDD ветвящихся программ

KAZAN
FEDERAL UNIVERSITY

- RUS
- 中文
- ES

УТОЧНЕНИЕ ИЕРАРХИИ КЛАССОВ БУЛЕВЫХ ФУНКЦИЙ, ПРЕДСТАВИМЫХ В МОДЕЛЯХ K-OBDD ВЕТВЯЩИХСЯ ПРОГРАММ

Form of presentation

Articles in Russian journals and collections

Year of publication

2012

Язык

русский

Authors, employees of KFU

Ablaev Farid Mansurovich, author

Khadiev Kamil Ravilevich, author

Bibliographic description in the original language

Ablaev F.M., Khadiev K.R. Utochnenie ierarkhii klassov bulevykh funkciy, predstavimykh v modelyakh k-OBDD vetvyashhikhsya programm [Tekst]/Ablaev F.M., Khadiev K.R. //Materialy XI Mezhdunarodnogo seminara "Diskretnaya matematika i ee prilozheniya", posvyashhennyy 80-letiyu so dnya rozhdeniya akademika O. B. Lupanova, g. Moskva, MGU, - 2012, - S. 80-82

Annotation

Материалы XI Международного семинара

Keywords

OBDD, k-OBDD, ветвящиеся программы, теория сложности

The name of the journal

Материалы XI Международного семинара

URL

http://new.math.msu.su/department/dm/dmmc/CONF/sbornik_2012.pdf

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

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

Full metadata record

Field DC	Value	Language
dc.contributor.author	Ablaev Farid Mansurovich	ru_RU
dc.contributor.author	Khadiev Kamil Ravilevich	ru_RU
dc.date.accessioned	2012-01-01T00:00:00Z	ru_RU
dc.date.available	2012-01-01T00:00:00Z	ru_RU
dc.date.issued	2012	ru_RU
dc.identifier.citation	Аблаев Ф.М., Хадиев К.Р. Уточнение иерархии классов булевых функций, представимых в моделях k-OBDD ветвящихся программ [Текст]/Аблаев Ф.М., Хадиев К.Р. //Материалы XI Международного семинара "Дискретная математика и ее приложения", посвященный 80-летию со дня рождения академика О. Б. Лупанова, г. Москва, МГУ, - 2012, - С. 80-82	ru_RU
dc.identifier.uri	https://repository.kpfu.ru/eng/?p_id=53297&p_lang=2	ru_RU
dc.description.abstract	Материалы XI Международного семинара	ru_RU
dc.description.abstract	Материалы XI Международного семинара	ru_RU
dc.language.iso	ru	ru_RU
dc.subject	OBDD	ru_RU
dc.subject	k-OBDD	ru_RU
dc.subject	ветвящиеся программы	ru_RU
dc.subject	теория сложности	ru_RU
dc.title	Уточнение иерархии классов булевых функций, представимых в моделях k-OBDD ветвящихся программ	ru_RU
dc.type	Articles in Russian journals and collections	ru_RU