@inproceedings{AspertiPadovaniSacerdotiCoenSchena01A,
  volume = {2152},
  author = {Andrea Asperti and Luca Padovani and Claudio Sacerdoti Coen and
            Irene Schena},
  series = {LNCS},
  booktitle = {Proceedings of the International Conference on Theorem Proving in
               Higher Order Logics (TPHOLs'01)},
  url = {http://www.di.unito.it/~padovani/Papers/lncs_2152.pdf},
  abstract = { The eXtensible Markup Language (XML) opens the possibility to
              start anew, on a solid technological ground, the ambitious goal of
              developing a suitable technology for the creation and maintenance
              of a virtual, distributed, hypertextual library of formal
              mathematical knowledge. In particular, XML provides a central
              technology for storing, retrieving and processing mathematical
              documents, comprising sophisticated web-publishing mechanisms
              (stylesheets) covering notational and stylistic issues. By the
              application of XML technology to the large repositories of
              structured, content oriented information offered by Logical
              Frameworks we meet the ultimate goal of the Semantic Web, that is
              to allow machines the sharing and exploitation of knowledge in the
              Web way, i.e. without central authority, with few basic rules, in
              a scalable, adaptable, extensible manner. },
  title = {{HELM and the Semantic Math-Web}},
  publisher = {Springer},
  year = {2001},
  pages = {59-74},
  doi = {10.1007/3-540-44755-5\_6},
}

This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)