Irene Schena

According to our database, Irene Schena authored at least 5 papers between 1996 and 2003.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2003

Mathematical Knowledge Management in HELM.

Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, Ferruccio Guidi, Irene Schena

Ann. Math. Artif. Intell., 2003

A Query Language for a Metadata Framework about Mathematical Resources.

Ferruccio Guidi, Irene Schena

Proceedings of the Mathematical Knowledge Management, Second International Conference, 2003

2001

HELM and the Semantic Math-Web.

Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, Irene Schena

Proceedings of the Theorem Proving in Higher Order Logics, 14th International Conference, 2001

XML, Stylesheets and the Re-mathematization of Formal Content.

Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, Irene Schena

Proceedings of the Extreme Markup Languages® 2001 Conference, 2001

1996

Pomset Logic and Variants in Natural Languages.

Irene Schena

Proceedings of the Logical Aspects of Computational Linguistics, 1996