| 2003 |
|---|
| 5 | EE | Ferruccio Guidi,
Irene Schena:
A Query Language for a Metadata Framework about Mathematical Resources.
MKM 2003: 105-118 |
| 4 | | Andrea Asperti,
Luca Padovani,
Claudio Sacerdoti Coen,
Ferruccio Guidi,
Irene Schena:
Mathematical Knowledge Management in HELM.
Ann. Math. Artif. Intell. 38(1-3): 27-46 (2003) |
| 2001 |
|---|
| 3 | EE | Andrea Asperti,
Luca Padovani,
Claudio Sacerdoti Coen,
Irene Schena:
XML, Stylesheets and the Re-mathematization of Formal Content.
Extreme Markup Languages® 2001 |
| 2 | EE | Andrea Asperti,
Luca Padovani,
Claudio Sacerdoti Coen,
Irene Schena:
HELM and the Semantic Math-Web.
TPHOLs 2001: 59-74 |
| 1996 |
|---|
| 1 | EE | Irene Schena:
Pomset Logic and Variants in Natural Languages.
LACL 1996: 386-405 |
