A Congruent Bisimilarity for McCarthy s Amb | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1997

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

семантика

ламбда-исчисление

Стр.:

P.16-27.

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

Bibliogr.: p.27

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

Источник:

Acta Congressus Hiberni

Карточка:

Б2.24, Б2.42.

Moran A..

A Congruent Bisimilarity for McCarthy s Amb-Goteborg.// Acta Congressus Hiberni, 1997.-P.16-27.
Bibliogr.: p.27

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

PAP16 590