Вы здесь

Bossi A.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Proving Termination of Logic Programs by Exploiting Term Properties 1991 Bossi A., Cocco N., Fabris M. Lecture Notes in Computer Science 21.05.1991
СТ Transforming Normal Programs by Replacement 1992 Bossi A., Cocco N., Etalle S. Lecture Notes in Computer Science 03.02.1993
СТ On Safe Folding 1992 Bossi A., Cocco N., Etalle S. Lecture Notes in Computer Science 13.10.1992
СТ 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
СТ Transforming Acyclic Programs 1994 Bossi A., Etalle S. ACM Trans. Programming Languages and Systems 15.11.1994
СТ More on Unfold/Fold Transformations of Normal Programs: Preservation of Fitting s Semantics 1994 Bossi A., Etalle S. Lecture Notes in Computer Science 12.01.1995
СТ Preserving Universal Termination through Unfold/Fold 1994 Bossi A., Cocco N. Lecture Notes in Computer Science 01.11.1994
СТ Transformation of Left Terminating Programs: the Reordering Problem 1996 Bossi A., Cocco N., Etalle S. Lecture Notes in Computer Science 30.03.1996
СТ Replacement Can Preserve Termination 1997 Bossi A., Cocco N. Lecture Notes in Computer Science 12.04.1997
СТ Programs Without Failures 1998 Bossi A., Cocco N. Lecture Notes in Computer Science 14.10.1998
СТ Success in Logic Programs 1999 Bossi A., Cocco N. Lecture Notes in Computer Science 16.04.1999
СТ Specialising Logic Programs with Respect to Call/Post Specifications 1999 Bossi A., Rossi S. Lecture Notes in Computer Science 16.04.1999
СТ Transformation of Left Terminating Programs 2000 Bossi A., Cocco N., Etalle S. Lecture Notes in Computer Science Lecture Notes in Computer Science 30.08.2000
СТ Semantics and Termination of Simply-Moded Logic Programs with Dynamic Scheduling 2001 Bossi A., Etalle S., Rossi S., Smaus J. -G. Lecture Notes in Computer Science 28.04.2001
СТ Bisimulation and Unwinding for Verifying Possibilistic Security Properties 2003 Bossi A., Focardi R., Piazza C., Rossi S. Lecture Notes in Computer Science 31.01.2003
СТ Declarative Semantics of Input Consuming Logic Programs 2004 Bossi A., Cocco N., Etalle S., Rossi S. Lecture Notes in Computer Science Lecture Notes in Computer Science 31.07.2004

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Logic-Based Program Synthesis and Transformation 2000 Lecture Notes in Computer Science
  1. Bossi A.
30.08.2000