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]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page