Вы здесь

Bisimulation Equivalence is Decidable for all Context-Free Processes

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1992
Стр.: 
P.138-147.
Библиография: 
Bibliogr.: p.146-147.
Издательство: 
Том: 
630
Карточка: 

Б2.4.

Christensen S., Huttel H., Stirling C..

Bisimulation Equivalence is Decidable for all Context-Free Processes: Springer// Lecture Notes in Computer Science-1992.-Vol. 630.-P.138-147.
Bibliogr.: p.146-147.

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