Вы здесь

Hill P.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Freeness Analysis Througn Linear Refinement 1999 Hill P., Spoto F. Lecture Notes in Computer Science 19.10.1999
СТ Preventing Instantiation Errors and Loops for Logic Programs with Multiple Modes Using block Declarations 1999 Smaus J. -G., Hill P., King A. Lecture Notes in Computer Science 16.04.1999
СТ Quotienting Share for Dependency Analysis 1999 King A., Smaus J. -G., Hill P. Lecture Notes in Computer Science 07.04.1999
СТ Analysis of Logic Programs with Delay 1998 Heaton A., Hill P., King A. Lecture Notes in Computer Science 14.10.1998
СТ Termination of Logic Programs with Block Declarations Running in Several Modes 1998 Smaus J. -G., Hill P., King A. Lecture Notes in Computer Science 13.10.1998