|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
FRAMES NO FRAME |
Irene Schena | |
---|---|
Type-Hierarchical Overview | |
Chronological Overview |
2003 | |
Asperti, Padovani, Coen, Guidi and Schena | "Mathematical Knowledge Management in HELM" Article. |
2001 | |
Asperti, Padovani, Coen and Schena | "Formal Mathematics on the Web" In proceedings. |
Asperti, Padovani, Coen and Schena | "HELM and the Semantic Math-Web" In proceedings. |
Asperti, Padovani, Coen and Schena | "XML, Stylesheets and the Re-mathematization of Formal Content" In proceedings. |
|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
FRAMES NO FRAME |
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)