Dynamically-Typed Computations for Order-Sorted Equational Presentations | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Колл. автор:

Вид:

Препринт

Год:

1994

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

унификация

сортировка

семантика

Стр.:

114 p.

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

Bibliogr.: p.110-113

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

Источник:

Номер:

2208

Том:

31

Карточка:

Б2.1.

Hintermeier C., Kirchner C., Kirchner H..

Dynamically-Typed Computations for Order-Sorted Equational Presentations-Le Chesnay., 1994.-Vol. 31.-114 p.-(Препринт INRIA №2208).
Bibliogr.: p.110-113

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

PREP2 492