E. Marchiori

发表

Proving run-time properties of general programs w.r.t. constructive negation

E. Marchiori, E. Marchiori, 1992 .

Some uses of constructive negation for classical problems in non-monotonic reasoning

E. Marchiori, 1994 .

BENELOG 1994 : proceedings of the sixth Benelux workshop on logic programming, Amsterdam, 02.09.1994

E. Marchiori, 1994 .