Sabina Bonamico

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

1993

2 Sabina Bonamico, Gianna Cioni, Attilio Colagrossi: An Enhanced Sequent Calculus for Reasoning in a Given Domain. DISCO 1993: 369-373

1988

1 Sabina Bonamico, Gianna Cioni: Embedding Flexible Control Strategies into Object Oriented Languages. AAECC 1988: 454-457

	1993
2		Sabina Bonamico, Gianna Cioni, Attilio Colagrossi: An Enhanced Sequent Calculus for Reasoning in a Given Domain. DISCO 1993: 369-373
	1988
1		Sabina Bonamico, Gianna Cioni: Embedding Flexible Control Strategies into Object Oriented Languages. AAECC 1988: 454-457

Coauthor Index

1 Gianna Cioni [1] [2]

2 Attilio Colagrossi [2]