Regular Approximation of Computation Paths in Logic and Functional Languages | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1996

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

логический

функциональный

смешанные вычисления

Стр.:

P.115-136

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

Bibliogr.: p.135-136

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

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

Серия:

Lecture Notes in Computer Science

Источник:

Partial Evaluation

Том:

1110

Карточка:

Б3.21.

Gallagher J., Lafave L..

Regular Approximation of Computation Paths in Logic and Functional Languages-Berlin, Heidelberg.: Springer// Partial Evaluation, 1996.-Vol. 1110.-P.115-136-(Lecture Notes in Computer Science).
Bibliogr.: p.135-136

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

PAP15 443