Termination Analysis for Functional Programs Using Term Orderings | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1995

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

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

программа

завершение

Стр.:

P.154-171

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

Bibliogr.: p.170-171

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

Серия:

Lecture Notes in Computer Science

Источник:

Static Analysis

Том:

983

Карточка:

Б2.23, Б3.5.

Giesl J..

Termination Analysis for Functional Programs Using Term Orderings-Berlin, Heidelberg.// Static Analysis, 1995.-Vol. 983.-P.154-171-(Lecture Notes in Computer Science).
Bibliogr.: p.170-171

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

PAP13 580