Marchiori E. A logic for variable aliasing in logic programs / E. Marchiori, 1994. - 16 p. - Текст : непосредственный.
Marchiori E. A methodology for proving termination of general logic programs / E. Marchiori, 1995. - 26 p. - Текст : непосредственный.
Marchiori E. Proving termination of logic programs with delay declarations / E. Marchiori, F. Teusink, 1996. - 17 p. - Текст : непосредственный.
Marchiori E. Proving deadlock freedom of logic programs with dynamic scheduling / E. Marchiori, F. Teusink, 1996. - 19 p. - Текст : непосредственный.
Marchiori E. Some uses of constructive negation for classical problems in non-monotonic reasoning / E.Marchiori, 1994. - 16 p. - Текст : непосредственный.
Evolutionary computation, machine learning and data mining in bioinformatics : 5th European Conference, EvoBIO 2007, Valencia, Spain, April 11-13, 2007: proceedings / SpringerLink (Online service), 2007 r=on-line. - Текст : электронный.
Apt K.R. Reasoning about Prolog programs:from modes through types to assertions / K.R.Apt,E.Marchiori, 1993. - 22 p. - Текст : непосредственный.
Report:Computer science / CWI. CS-R9216 : theory of first-order builtin's of prolog / K.R.Apt,E.Marchiori,C.Palamidessi, 1992. - 15 p. - Текст : непосредственный.
Evolutionary computation, machine learning and data mining in bioinformatics : 6th european conference, EvoBIO 2008, Naples, Italy, March 26-28, 2008: proceedings / eds. E. Marchiori, J. H. Moore, 2008 r=on-line. - Текст : электронный.
Marchiori E. Design of abstract domains using first-order logic / E.Marchiori, 1996. - 22 p. - Текст : непосредственный.
Colussi L. A predicate transformer for unification / L.Colussi,E.Marchiori, 1992. - 16 p. - Текст : непосредственный.
Marchiori E. Proving run-time properties of general programs w.r.t. constructive negation / E.Marchiori, 1992. - 28 p. - Текст : непосредственный.
Apt K.R. A declarative approach for first-order built-in's of Prolog / K.R.Apt,E.Marchiori,C.Palamidessi, 1992. - 45 p. - Текст : непосредственный.
Приложение
для Android