Вы здесь

Decorte S.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Automatic Inference of Norms: a Missing Link in Automatic Termination Analysis 1993 Decorte S., De Schreye D., Fabris M. Logic Programming: Proc./1993 Intern. Symp. 21.09.1994
СТ Demand-driven and Constraint-based Automatic Left-termination Analysis for Logic Programs 1997 Decorte S., De Schreye D. Logic Programming 11.03.1998
СТ Termination analysis: some practical properties of the norm and level mapping space 1998 Decorte S., De Schreye D. Logic Programming 07.03.2001
СТ Termination Analysis for Tabled Logic Programming 1998 Decorte S., De Schreye D., Leuschel M., Martens B., Sagonas K. Lecture Notes in Computer Science 14.10.1998
СТ Constraint-Based Termination Analysis of Logic Programs 1999 Decorte S., De Schreye D., Vandecasteele H. ACM Trans. on Programming Languages and Systems 10.07.2000