Предлагаемые темы внутри своего поиска.
Отображение 1 - 1 результаты of 1 для поиска '"higher-order rewriting"', время запроса: 0.01сек. Отмена результатов
  1. 1
    Higher-order algebra, logic, and term rewriting : first international workshop, HOA '93, Amsterdam The Netherlands, September 23-24, 1993 : selected papers /
    Материалы конференции ‌
    Опубликовано 1994
    Оглавление: “... and Eike Ritter -- Comparing Combinatory Reduction Systems and Higher-Order Rewrite Systems / Vincent van...”
    Добавить в Избранное
    Сохранить в:
Инструменты поиска: RSS-поток – Отправить результаты поиска по Email – Сохранить запрос