Polynomials for Proving Termination of Context-Sensitive Rewriting

Вы здесь

Автор:

Lucas S.

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

Вид:

Статья из сборника или журнала

Год:

2004

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

язык программирования

переписывание

завершение

Стр.:

P.318-332

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

Bibliogr.: p.332

Издательство:

Springer

Источник:

Lecture Notes in Computer Science

Том:

2987

Карточка:

Б2.23, Б2.3.

Lucas S..

Polynomials for Proving Termination of Context-Sensitive Rewriting: Springer// Lecture Notes in Computer Science-2004.-Vol. 2987.-P.318-332
Bibliogr.: p.332

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

PAP28 565