Irene Schena

Publication Activity (10 Years)

Years Active: 1996-2003
Publications (10 Years): 0

Publications

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