Electronic Documents Search

Documents found: 1

1

Полная головная линейная редукция // Научно-технические ведомости Санкт-Петербургского государственного политехнического университета. Сер.: Информатика. Телекоммуникации. Управление: научное издание. – 2017. – Т. 10, № 3

Creators	Березун Даниил Андреевич
Organization	Санкт-Петербургский государственный университет
Imprint	Санкт-Петербург: Изд-во Политехн. ун-та, 2017
Collection	Общая коллекция
Subjects	Математика; Вычислительная математика; pseudovolume forms (mathematics); reduction; лямбда-термы; головные линейные редукции; полные головные линейные редукции; трассирующая нормализация; линейные редукции; псевдоголовные формы (математика); редукции; linear reduction; head linear reduction; full head linear reduction; tracer normalization; lambda baths
UDC	519.6
LBC	22.19
Document type	Article, report
File type	PDF
Language	Russian
DOI	10.18721/JCSTCS.10306
Rights	Свободный доступ из сети Интернет (чтение, печать, копирование)

pdf, 3.4 Mb

1