Вы здесь

A Decidable Logic for Describing Linked Data Structures

Вид: 
Статья из сборника или журнала
Год: 
1999
Ключевые слова: 
Стр.: 
P.2-19.
Библиография: 
Bibliogr.: p.18-19
Издательство: 
Том: 
1576
Карточка: 

Б2.51.

Benedikt M., Reps T., Sagiv M..

A Decidable Logic for Describing Linked Data Structures: Springer// Lecture Notes in Computer Science-1999.-Vol. 1576.-P.2-19.
Bibliogr.: p.18-19

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