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
  42 \bibitem {RDF}
  43 \emph{Resource Description Framework (RDF) Model and Syntax Specification}.
  44 W3C Recommendation. February 22, 1999. \\
  45 \CURI{http://www.w3.org/TR/1999/REC-rdfsyntax-19990222/}.
  46
  47 \bibitem {RDFS}
  48 \emph{RDF Vocabulary Description Language 1.0: RDF Schema}.
  49 W3C Working Draft. January 23, 2003
  50 \CURI{http://www.w3.org/TR/rdf-schema/}.
  51
  52 \bibitem {Sam00}
  53 G. Sambin: \emph{Formal topology and domains}.
  54 Electronic Notes in Theoretical Computer Science, (35). 2000.
  55
  56 \bibitem {Sch02}
  57 I. Schena:
  58 \emph{Towards a Semantic Web for Formal Mathematics}.
  59 Ph.D. dissertation. University of Bologna, 2002. Advisor: A. Asperti.
  60
  61 \bibitem {Unicode}
  62 Unicode Consortium:
  63 \emph{The Unicode Standard, Version 3.2}. March 2002. \\
  64 \CURI{http://www.unicode.org/unicode/standard/standard.html}.
  65
  66 \bibitem {URI}
  67 \emph{Uniform Resource Identifiers (URI): Generic Syntax (RFC 2396)}.
  68 August 1998. \\
  69 \CURI{http://www.ietf.org/rfc/rfc2396.txt}.
  70
  71 \bibitem {W3Ca}
  72 \emph{Character Model for the World Wide Web 1.0},
  73 W3C Working Draft. April 30, 2002.
  74 \CURI{http://www.w3.org/TR/charmod/}.
  75
  76 \bibitem {Win93}
  77 G. Winskel:
  78 \emph{The formal semantics of programming languages: an introduction}.
  79 MIT Press Series in the Foundations of Computing. London: MIT Press, 1993.
  80
  81 \bibitem {XML}
  82 \emph{Extensible Markup Language (XML) 1.0 (Second Edition)}.
  83 W3C Recommendation. October 6, 2000. \CURI{http://www.w3.org/REC-xml}.
  84
  85 \bibitem {XQuery}
  86 \emph{XQuery 1.0: An XML Query Language}.
  87 W3C Working Draft November 15, 2002. \CURI{http://www.w3.org/TR/xquery/}.
  88
  89 \end{thebibliography}