Журналы
Разделы книг
Статьи по ключевому слову rewriting system
Обзор и сравнительный анализ методов конструирования термов в комбинаторной логике

Р.В. Душкин1

1Национальный исследовательский ядерный университет «МИФИ» (Москва, Россия)

1rvdushkin@mephi.ru

Аппликативный язык конструирования стратегий редукций

И.О. Слепцов¹, В.Э. Вольфенгаген²

¹НАО «ЮрИнфоР» (Москва, Россия)

²Национальный исследовательский ядерный университет «МИФИ» (Москва, Россия)

¹igor.slieptsov@mail.com