Вы здесь

Mancarella P.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Meta for Modularising Logic Programming 1992 Brogi A., Mancarella P., Pedreschi D., Turini F. Lecture Notes in Computer Science 03.02.1993
СТ Implementation of Program Composition Operations 1994 Brogi A., Chiarelli A., Mancarella P., Mazzotta V., Pedreschi D., Renso C., Turini F. Lecture Notes in Computer Science 13.10.1994
СТ An Algebra of Logic Programs 1988 Mancarella P., Pedreschi D. Logic Programming: Proc./Fifth Intern.Conf. and Symp. 13.10.1994
СТ Modular Logic Programming 1994 Brogi A., Mancarella P., Pedreschi D., Turini F. ACM Trans. Programming Languages and Systems 15.11.1994
СТ Algebraic Properties of a Class of Logic Programs 1990 Mancarella P., Pedreschi D., Rondinelli M., Tagliatti M. Logic Programming: Proc./1990 North American Conf. 24.11.1994
СТ Normal Logic Programs as Open Positive Programs 1992 Brogi A., Lamma E., Mancarella P., Mello P. Logic Programming: Proc./ Joint Intern. Conf. and Symp. on Logic Programming 19.12.1994
СТ Stable Theories for Logic Programs 1991 Kakas A. C., Mancarella P. Logic Programming: Proc./1991 Intern. Symp. 29.12.1994
СТ An Abductive Framework for Extended Logic Programming 1995 Brogi A., Lamma E., Mancarella P., Mello P. Lecture Notes in Artificial Intelligence 07.07.1995
СТ Abduction and Abductive Logic Programming 1994 Kakas A. C., Mancarella P. Logic Programming: Proc. of the Eleventh Intern. Conf. 31.01.1996
СТ The Acceptability Semantics for Logic Programs 1994 Kakas A. C., Mancarella P., Dung P. M. Logic Programming: Proc. of the Eleventh Intern. Conf. 01.02.1996
СТ A Multiple-Valued Logical Semantics for Prolog 1996 Barbuti R., Mancarella P. Lecture Notes in Computer Science 18.05.1996