C-Expressions: A Variable-Free Calculus for Equational Logic Programming | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Вид:

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

Год:

1993

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

логический

программирование

унификация

Стр.:

P.209-252.

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

Bibliogr.: p.250-252.

Издательство:

Источник:

Theoretical Computer Science

Номер:

2

Том:

107

Карточка:

Б2.1, В2.11.

Bellia M., Occhiuto M. E..

C-Expressions: A Variable-Free Calculus for Equational Logic Programming: Springer// Theoretical Computer Science-1993, №2.-Vol. 107.-P.209-252.
Bibliogr.: p.250-252.

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

PAP5 130