Вы здесь

TEA: Automatically Proving Termination of Programs in a Non-strict Higher-Order Functional Language

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1997
Стр.: 
P.345-360.
Библиография: 
Bibliogr.: p.359-360
Том: 
1302
Карточка: 

Б2.23.

Panitz S. E., Schmidt-Schauss M..

TEA: Automatically Proving Termination of Programs in a Non-strict Higher-Order Functional Language// Lecture Notes in Computer Science-1997.-Vol. 1302.-P.345-360.
Bibliogr.: p.359-360

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