Giovanna M. Dore

According to our database, Giovanna M. Dore authored at least 3 papers between 1993 and 1995.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

1995

Observable Semantics for Constraint Logic Programs.

Maurizio Gabbrielli, Giovanna M. Dore, Giorgio Levi

J. Log. Comput., 1995

1994

Yet Another Correctness Criterion for Multiplicative Linear Logic with MIX.

Andrea Asperti, Giovanna M. Dore

Proceedings of the Logical Foundations of Computer Science, Third International Symposium, 1994

1993

A Prototype Compiler for Prolog with Boolean Constraints.

Giovanna M. Dore, Philippe Codognet

Proceedings of the 8th Italian Conference on Logic Programming, 1993