Bossi A. More on unfold/fold transformations of normal programs:preservation of fitting's semantics / A. Bossi, S. Etalle, 1994. - 18 p. - Текст : непосредственный.
Etalle S. More (on) unification-free Prolog programs / S. Etalle, 1994. - 36 p. - Текст : непосредственный.
Logic based program synthesis and transformation / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный.
Bossi A. Simultaneous replacement in normal programs / A.Bossi,N.Cocco,S.Etalle, 1993. - 34 p. - Текст : непосредственный.
Apt K.R. On the unification free Prolog programs / K.R.Apt,S.Etalle, 1993. - 16 p. - Текст : непосредственный.
Bossi A. Transforming acyclic programs / A.Bossi,S.Etalle, 1993. - 14 p. - Текст : непосредственный.
Etalle S. Transformations of CLP modules / S.Etalle,M.Gabbrielli, 1995. - 34 p. - Текст : непосредственный.
Logic programming : 22nd international conference, ICLP 2006, Seattle, Wa, USA, August 17-20, 2006: proceedings / SpringerLink (Online service), 2006 r=on-line
Trust management : proceedings of IFIPTM 2007: Joint i trust and PST conferences on privacy, trust management and security, July 30- August 2, 2007, New Brunswick, Canada / SpringerLink (Online service), 2007 r=on-line. - Текст : электронный.
Приложение
для Android