The Nonexistence of Finite Axiomatisations for CCS congruences | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Колл. автор:

Вид:

Препринт

Год:

1989

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

аксиоматизация

параллельный

Стр.:

20 p.

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

Bibliogr.: p.20

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

Номер:

ECS-LFCS-89-97

Карточка:

Б2.15, Б2.42.

Moller F..

The Nonexistence of Finite Axiomatisations for CCS congruences-Edinburgh., 1989.-20 p.-(Препринт Univ.Edinburgh №ECS-LFCS-89-97).
Bibliogr.: p.20

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

PREP3 60