Contextual Rewriting as a Sound and Complete Proof Method for Conditional LOG-Specifications | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1993

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

спецификация

алгебраический

семантика

перезапись

Стр.:

P.147-180.

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

Bibliogr.: p.176-177.

Источник:

Acta Informatica

Номер:

2

Том:

30

Карточка:

Б2.3, Б2.24.

Navarro M., Orejas F., Remy J. -L..

Contextual Rewriting as a Sound and Complete Proof Method for Conditional LOG-Specifications// Acta Informatica-1993, №2.-Vol. 30.-P.147-180.
Bibliogr.: p.176-177.

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

PAP5 660