Termination and completion modulo associativity, communicativity and identity

Вы здесь

Автор:

Jouannaud J. -P.

Marche C.

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

Вид:

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

Год:

1992

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

завершение

аксиома

Стр.:

P.29-51.

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

Bibliogr.: p.50-51.

Источник:

Theoretical Computer Science

Номер:

Том:

104

Карточка:

Б2.34, Б2.14, В2.11.

Jouannaud J. -P., Marche C..

Termination and completion modulo associativity, communicativity and identity// Theoretical Computer Science-1992, №1.-Vol. 104.-P.29-51.
Bibliogr.: p.50-51.

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

PAP4 506