Cristian Ferretti

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1998

2 Leopoldo E. Bertossi, Marcelo Arenas, Cristian Ferretti: SCDBR: An Automated Reasoner for Specifications of Database Updates. J. Intell. Inf. Syst. 10(3): 253-280 (1998)

1994

1 Leopoldo E. Bertossi, Cristian Ferretti: SCDBR: A Reasoner for Specifications in the Situation Calculus of Database Updates. ICTL 1994: 543-545

	1998
2		Leopoldo E. Bertossi, Marcelo Arenas, Cristian Ferretti: SCDBR: An Automated Reasoner for Specifications of Database Updates. J. Intell. Inf. Syst. 10(3): 253-280 (1998)
	1994
1		Leopoldo E. Bertossi, Cristian Ferretti: SCDBR: A Reasoner for Specifications in the Situation Calculus of Database Updates. ICTL 1994: 543-545

Coauthor Index