Категория:Refal
Материал из 0x1.tv
Версия от 21:36, 5 апреля 2025; StasFomin (обсуждение | вклад) (Новая страница: «* {{Twittertag|refal}}»)
Короткая ссылка: Category:Refal
Страницы в категории «Refal»
Показано 6 страниц из 6, находящихся в данной категории.
- Chipollino — как лабораторная работа превратилась в инструмент для исследований (Александр Дельман, OSEDUCONF-2024)
- Refal5-Version П3 (Андрей Немытых, OSSDEVCONF-2023)
- Опыт использования Рефала-5 для преобразования текстов на формальных языках (Даниил Исакевич, OSSDEVCONF-2024)
- Рефал — опыт формализации в преподавании информатики (Даниил Исакевич, OSEDUCONF-2023)
- Эксперимент по созданию quick-and-dirty пруверов для оценки завершаемости в рамках рубежного контроля (Антонина Непейвода, OSEDUCONF-2022)
- Язык соединений и превращений для формальной эвологии (Даниил Исакевич, OSSDEVCONF-2024)