Non-monotone Fixpoint Iterations to Resolve Second Order Effects

Вы здесь

Автор:

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

Вид:

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

Год:

1996

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

Стр.:

P.106-120.

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

Bibliogr.: p.117-118

Источник:

Том:

1060

Карточка:

Б3.2, Б2.35.

Geser A., Knoop J., Luttgen G., Ruthing O., Steffen B..

Non-monotone Fixpoint Iterations to Resolve Second Order Effects// Lecture Notes in Computer Science-1996.-Vol. 1060.-P.106-120.
Bibliogr.: p.117-118

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

PAP14 837