Вы здесь

Fabris M.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ 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
СТ 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
СТ Proving Termination of Logic Programs by Exploiting Term Properties 1991 Bossi A., Cocco N., Fabris M. Lecture Notes in Computer Science 21.05.1991