Вы здесь

Etalle S.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ 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
СТ An Improved Constraint-Based System for the Verification of Security Protocols 2002 Corin R., Etalle S. Lecture Notes in Computer Science 31.10.2002
СТ 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
СТ 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
СТ A Compositional Semantics for Normal Open Programs 1996 Etalle S., Teusink F. Logic Programming 12.03.1998
СТ A Transformation System for CLP with Dynamic Scheduling and CCP 1997 Etalle S., Gabbrielli M., Marchiori E. SIGPLAN Notices 27.01.1998
СТ The Replacement Operation for CLP Modules 1995 Etalle S., Gabrielli M. Proc. of the ACM SIGPLAN Symp. on Partial Evaluation and Semantics-Based Program Manipulation 13.08.1997
СТ A Transformation System for Modular CLP Programs 1995 Etalle S., Gabbrielli M. Logic Programming: Proc. of the Twelfth Intern. Conf. 13.05.1996
СТ Transformation of Left Terminating Programs: the Reordering Problem 1996 Bossi A., Cocco N., Etalle S. Lecture Notes in Computer Science 30.03.1996
СТ 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
СТ Transforming Acyclic Programs 1994 Bossi A., Etalle S. ACM Trans. Programming Languages and Systems 15.11.1994
СТ On the Unification Free Prolog Programs 1993 Apt K. R., Etalle S. Lecture Notes in Computer Science 20.10.1993
СТ 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