]> matita.cs.unibo.it Git - helm.git/blob - mathql/doc/mathql_bib.tex
...
[helm.git] / 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}