Вы здесь
Fabris M.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Proving Termination of Logic Programs by Exploiting Term Properties | 1991 | Bossi A., Cocco N., Fabris M. | Lecture Notes in Computer Science | 21.05.1991 | |||
| СТ | 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 | |||
| СТ | A Bottom-up Semantics for Constructive Negation | 1994 | Bossi A., Fabris M., Meo M. C. | Logic Programming: Proc. of the Eleventh Intern. Conf. | 01.02.1996 |