Giovanna M. Dore

1995
3		Maurizio Gabbrielli, Giovanna M. Dore, Giorgio Levi: Observable Semantics for Constraint Logic Programs. J. Log. Comput. 5(2): 133-171 (1995)
1994
2		Andrea Asperti, Giovanna M. Dore: Yet Another Correctness Criterion for Multiplicative Linear Logic with MIX. LFCS 1994: 34-46
1993
1		Giovanna M. Dore, Philippe Codognet: A Prototype Compiler for Prolog with Boolean Constraints. GULP 1993: 157-172

Coauthor Index

1	Andrea Asperti	[2]
2	Philippe Codognet	[1]
3	Maurizio Gabbrielli	[3]
4	Giorgio Levi	[3]

Colors in the list of coauthors