Вы здесь

Inferring the equivalence of functional programs that mutate data

Автор: 
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1992
Стр.: 
P.167-215.
Источник: 
Номер: 
2
Том: 
105
Карточка: 

Б2.23, Б2.24.

Mason I., Talcott C..

Inferring the equivalence of functional programs that mutate data// Theoretical Computer Science-1992, №2.-Vol. 105.-P.167-215.

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