Automatically Proving Termination and Innermost Normalisation of Term Rewriting Systems | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Количество экземпляров:

1

Колл. автор:

Вид:

Монография

Год:

1969

Ключевые слова:

система переписывания термов

Стр.:

177 p.

Библиография:

Bibliogr.: p.157-168

Место издания:

Карточка:

Б2.3, Б2.2.

Arts T..

Automatically Proving Termination and Innermost Normalisation of Term Rewriting Systems-Nijmegen., 1969.-177 p.
Bibliogr.: p.157-168

Таблица в старой библиотеке:

MONO2 471