Вы здесь

Главная

Applying Static Analysis Techniques for Inferring Termination Conditions of Logic Programs

Автор: 
Mesnard F.
Neumerkel U.
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
2001
Ключевые слова: 
статический
анализ
логический
программа
Библиография: 
Bibliogr.: p.108-110
Издательство: 
Springer
Источник: 
Lecture Notes in Computer Science
Том: 
2126
Карточка: 

Б2.23.

Mesnard F., Neumerkel U..

Applying Static Analysis Techniques for Inferring Termination Conditions of Logic Programs: Springer// Lecture Notes in Computer Science-2001.-Vol. 2126.
Bibliogr.: p.108-110

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