Перейти к основному содержанию
Библиотечно-издательский комплекс СФУ
Toggle navigation
Ресурсы
Библиотечный поиск
Каталог изданий университета
Университетские информационные ресурсы
Российские информационные ресурсы
Мировые информационные ресурсы
Периодические издания
Тематические путеводители
Книгообеспеченность учебного процесса
Приобретение литературы
Читателю
Регистрация читателей
Получение и возврат литературы
Межбиблиотечный абонемент
Тематические путеводители
Обучение работе с ресурсами
Доступная среда библиотеки
Детская развивающая площадка
Подарить книгу библиотеке
Автору
Правила издания рукописей
План выпуска изданий
Размещение публикаций в библиотеке, репозитории, РИНЦ
Проверка
журнала
Служба поддержки публикационной
активности
Учёт публикаций в АИС
«Прометей»
Услуги
Справочник услуг и сервисов БИК
Новая заявка на услугу
Бронирование помещений
Контакты
Адреса и режим работы
Контакты
Вопрос-Ответ
Отправить отзыв
Ещё
О Научной библиотеке
Об Издательстве
Дилерство «САБ ИРБИС»
Красноярский ИРБИС-клуб
Литературный клуб «Высокий берег»
Подкаст «Пища для ума»
Вакансии
Часто задаваемые вопросы
Мобильное приложение
Карта сайта и поиск по сайту
Онлайн-медиа Научной библиотеки
Личный кабинет
Главная
Ресурсы
Библиотечный поиск
Trading Bounds for
Memory in Games with
Counters
Nathanaël Fijalkow
Florian Horn
Denis Kuperberg
2015 год
Trading Bounds for Memory in Games with Counters
глава из книги
Полный текст
Страница публикации
Публикация в OpenAlex
Год издания:
2015
Авторы:
Nathanaël Fijalkow
,
Florian Horn
,
Denis Kuperberg
,
Michał Skrzypczak
Издательство:
Springer Science+Business Media
Источник:
Lecture notes in computer science
Ключевые слова:
Computability, Logic, AI Algorithms, Complexity and Algorithms in Graphs, semigroups and automata theory
Другие ссылки:
Lecture notes in computer science
(HTML)
HAL (Le Centre pour la Communication Scientifique Directe)
(PDF)
HAL (Le Centre pour la Communication Scientifique Directe)
(HTML)
HAL (Le Centre pour la Communication Scientifique Directe)
(HTML)
HAL (Le Centre pour la Communication Scientifique Directe)
(HTML)
Показать дополнительные сведения
DOI:
https://doi.org/10.1007/978-3-662-47666-6_16
Открытый доступ:
green
Страницы:
197–208