Вы здесь

Bol R.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Tabulated Resolution for Well Founded Semantics 1993 Bol R., Degerstedt L. Logic Programming: Proc./1993 Intern. Symp. 20.09.1994
СТ An analysis of loop checking mechanisms for logic programs 1991 Bol R., Art K., Klop J. Theoretical Computer Science 18.09.1991
СТ The Meaning of Negative Premises in Translation System Specifications 1991 Bol R., Groote J. Lecture Notes in Computer Science 12.09.1991