helm/mathql/doc/mathql_bib.tex

   1 \begin{thebibliography}{99}
   2
   3 \bibitem {APSCGS03}
   4 A. Asperti, L. Padovani, C. Sacerdoti Coen, F.Guidi, I. Schena:
   5 \emph{Mathematical Knowledge Management in HELM}.
   6 In Annals of Mathematics and Artificial Intelligence 38(1),
   7 Kluwer Academic Publishers (May 2003), pp. 27-46.
   8
   9 \bibitem {Gui03}
  10 F. Guidi:
  11 \emph{Searching and Retrieving in Content-based Repositories of Formal
  12 Mathematical Knowledge}.
  13 Ph.D. Thesis in Computer Science, University of Bologna, March 2003. Technical
  14 report UBLCS 2003-06.
  15
  16 \bibitem {GSC03}
  17 F. Guidi, C. Sacerdoti Coen:
  18 \emph{Querying Distributed Digital Libraries of Mathematics}.
  19 In Proc. of the 11th Symposium on the Integration of Symbolic Computation and
  20 Mechanized Reasoning (Calculemus 2003). Rome, Italy,
  21 September 2003. pages 17-30, Aracne. 2003.
  22
  23 \bibitem {GS03}
  24 F. Guidi, I. Schena:
  25 \emph{A Query Language for a Metadata Framework about Mathematical Resources}.
  26 In Proc. of 2nd International Conference on Mathematical Knowledge
  27 Management (MKM 2003).
  28 Bertinoro, Italy, February 2003.
  29 LNCS 2594, pp. 105-118, Springer. 2003.
  30
  31 \bibitem {Lan98}
  32 C. Laneve:
  33 \emph{La descrizione operazionale dei linguaggi di programmazione. \\
  34 Un'introduzione}
  35 FrancoAngeli, 1998.
  36
  37 \bibitem {Lor02}
  38 D. Lordi:
  39 \emph{Sperimentazione e Sviluppo di Strumenti per la gestione di metadati}. \\
  40 Master Thesis in Computer Science, University of Bologna, 2002.
  41 Advisor: A. Asperti.
  42
  43 \bibitem {RDF}
  44 \emph{Resource Description Framework (RDF) Model and Syntax Specification}.
  45 W3C Recommendation. February 22, 1999. \\
  46 \CURI{http://www.w3.org/TR/1999/REC-rdfsyntax-19990222/}.
  47
  48 \bibitem {RDFS}
  49 \emph{RDF Vocabulary Description Language 1.0: RDF Schema}.
  50 W3C Working Draft. January 23, 2003
  51 \CURI{http://www.w3.org/TR/rdf-schema/}.
  52
  53 \bibitem {Sam00}
  54 G. Sambin: \emph{Formal topology and domains}.
  55 Electronic Notes in Theoretical Computer Science, (35). 2000.
  56
  57 \bibitem {Sch02}
  58 I. Schena:
  59 \emph{Towards a Semantic Web for Formal Mathematics}.
  60 Ph.D. dissertation. University of Bologna, 2002. Advisor: A. Asperti.
  61
  62 \bibitem {Unicode}
  63 Unicode Consortium:
  64 \emph{The Unicode Standard, Version 3.2}. March 2002. \\
  65 \CURI{http://www.unicode.org/unicode/standard/standard.html}.
  66
  67 \bibitem {URI}
  68 \emph{Uniform Resource Identifiers (URI): Generic Syntax (RFC 2396)}.
  69 August 1998. \\
  70 \CURI{http://www.ietf.org/rfc/rfc2396.txt}.
  71
  72 \bibitem {W3Ca}
  73 \emph{Character Model for the World Wide Web 1.0},
  74 W3C Working Draft. April 30, 2002.
  75 \CURI{http://www.w3.org/TR/charmod/}.
  76
  77 \bibitem {Win93}
  78 G. Winskel:
  79 \emph{The formal semantics of programming languages: an introduction}.
  80 MIT Press Series in the Foundations of Computing. London: MIT Press, 1993.
  81
  82 \bibitem {XML}
  83 \emph{Extensible Markup Language (XML) 1.0 (Second Edition)}.
  84 W3C Recommendation. October 6, 2000. \CURI{http://www.w3.org/REC-xml}.
  85
  86 \bibitem {XQuery}
  87 \emph{XQuery 1.0: An XML Query Language}.
  88 W3C Working Draft November 15, 2002. \CURI{http://www.w3.org/TR/xquery/}.
  89
  90 \end{thebibliography}