Login / Signup
Sabina Bonamico
Publication Activity (10 Years)
Years Active: 1988-1993
Publications (10 Years): 0
</>
Publications
</>
Sabina Bonamico
,
Gianna Cioni
,
Attilio Colagrossi
An Enhanced Sequent Calculus for Reasoning in a Given Domain.
DISCO
(1993)
Sabina Bonamico
,
Gianna Cioni
Embedding Flexible Control Strategies into Object Oriented Languages.
AAECC
(1988)