Sabina Bonamico

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - 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]