Вы здесь

Decidability and undecidability of equivalence for linear Datalog, with applications to normal-form optimizations

Автор: 
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1992
Стр.: 
P.297-311.
Библиография: 
Bibliogr.: p.310-311.
Том: 
646
Карточка: 

Б5.51.

Feder T., Saraiya Y..

Decidability and undecidability of equivalence for linear Datalog, with applications to normal-form optimizations// Lecture Notes in Computer Science-1992.-Vol. 646.-P.297-311.
Bibliogr.: p.310-311.

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