Next:International
Conferences Up:Pubblications
Journals

A.Dovier, E.G.Omodeo, E.Pontelli, G.Rossi ``{log}: A Language for Programming
in Logic with Finite Sets", Journal of Logic Programming, Elsevier Science
Publishers, 1996.

E. Pontelli, G. Gupta, M. Hermenegildo, M. Carro, D. Tang. "Efficient Implementation
of AndParallel Logic Programming Systems", Computer Languages, Pergamon
Press, Vol. 22, No. 2/3, 1996.

E. Pontelli and G. Gupta, ``Parallel Symbolic Computing in ACE'', Annals
of Mathematics and AI, Special Issue on Logic Programming, Nonmonotonic
Reasoning, and Actions, Vol. 21, pp. 359395, 1997

D. Ranjan, E. Pontelli, G. Gupta, ``Efficient Algorithms for the Temporal
Precedence Problem'', Information Processing Letters, 68:7178, 1998.

E. Pontelli and G. Gupta, ``Extended Dynamic Dependent Andparallelism
in ACE'', Journal of Functional and Logic Programming, Special Issue #1,
1999.

D. Ranjan, E. Pontelli, L. Longpre, G. Gupta, ``The Temporal Precedence
Problem'', Algorithmica, (to appear).

D. Ranjan, E. Pontelli, G. Gupta, "On The Complexity of OrParallelism",
New Generation Computing, Vol. 17, No. 3, 1999.

E. Pontelli, D. Ranjan, G. Gupta. "The Complexity of Latebinding in Dynamic
Objectoriented Languages", Journal of Functional and Logic Programming,
November 1999.

A. Dovier, E. Pontelli, G. Rossi. "A Necessary Condition for Constructive
Negation in Constraint Logic Programming", Information Processing Letters,
(to appear).

D. Ranjan, E. Pontelli, G. Gupta. "Data Structures for Ordersensitive
Predicates in Parallel Nondeterministic Systems", ACTA Informatica,
(to appear).
'Enrico
Fri Jun 2 19:41:07 MDT 1995