Cristian Ferretti (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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)

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

Selection of 2 from 2 records - Cristian Ferretti has 2 coauthors

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)
1		Leopoldo E. Bertossi, Cristian Ferretti: SCDBR: A Reasoner for Specifications in the Situation Calculus of Database Updates. ICTL 1994: 543-545