An Implementation and Evaluation of the Refined Triggering Graph Method for Active Rule Termination Analysis | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Karadimce A. P.

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

1

Вид:

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

Год:

1997

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

активный

Стр.:

P.133-148.

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

Bibliogr.: p.146-148

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

Источник:

Lecture Notes in Computer Science

Том:

1312

Карточка:

Б2.5, Б5.2, Б5.5.

Tschudi M. K., Urban S. D., Dietrich S. W., Karadimce A. P..

An Implementation and Evaluation of the Refined Triggering Graph Method for Active Rule Termination Analysis: Springer// Lecture Notes in Computer Science-1997.-Vol. 1312.-P.133-148.
Bibliogr.: p.146-148

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

PAP16 787