Вы здесь
Verschaetse K.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Deriving Termination Proofs for Logic Programs, using Abstract Procedures | 1991 | Verschaetse K., De Schreye D. | Logic Programming: Proc./Eighth Intern. Conf. | 19.09.1994 | |||
| СТ | Tutorial on Termination of Logic Programs | 1992 | De Schreye D., Verschaetse K. | Lecture Notes in Computer Science | 03.02.1993 | |||
| СТ | Derivation of Linear Size Relations by Abstract Interpretation | 1992 | Verschaetse K., De Schreye D. | Lecture Notes in Computer Science | 13.10.1992 |