Order-sorted algebra I: equational deduction for multiple inheritance, overloading, expetions and partial operations | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1992

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

семантика

дедукция

эквивалентность

Стр.:

C.217-273.

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

Bibliogr.: p.270-273.

Источник:

Theoretical Computer Science

Номер:

2

Том:

105

Карточка:

Б2.24.

Goguen J. A., Meseguer J..

Order-sorted algebra I: equational deduction for multiple inheritance, overloading, expetions and partial operations// Theoretical Computer Science-1992, №2.-Vol. 105.-C.217-273.
Bibliogr.: p.270-273.

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

PAP4 921