This commit was manufactured by cvs2svn to create branch 'moogle'.

[helm.git] / helm / mathql / doc / mathql_bib.tex

diff --git a/helm/mathql/doc/mathql_bib.tex b/helm/mathql/doc/mathql_bib.tex
deleted file mode 100644 (file)
index be28be8..0000000
--- a/helm/mathql/doc/mathql_bib.tex
+++ /dev/null
@@ -1,89 +0,0 @@
-\begin{thebibliography}{99}
-
-\bibitem {APSCGS03}
-A. Asperti, L. Padovani, C. Sacerdoti Coen, F.Guidi, I. Schena:
-\emph{Mathematical Knowledge Management in HELM}.
-In Annals of Mathematics and Artificial Intelligence 38(1),
-Kluwer Academic Publishers (May 2003), pp. 27-46.
-
-\bibitem {Gui03}
-F. Guidi:  
-\emph{Searching and Retrieving in Content-based Repositories of Formal
-Mathematical Knowledge}. 
-Ph.D. Thesis in Computer Science, University of Bologna, March 2003. Technical 
-report UBLCS 2003-06.
-
-\bibitem {GSC03}
-F. Guidi, C. Sacerdoti Coen:
-\emph{Querying Distributed Digital Libraries of Mathematics}.
-In Proc. of the 11th Symposium on the Integration of Symbolic Computation and
-Mechanized Reasoning (Calculemus 2003). Rome, Italy,
-September 2003. pages 17-30, Aracne. 2003.
-
-\bibitem {GS03}
-F. Guidi, I. Schena: 
-\emph{A Query Language for a Metadata Framework about Mathematical Resources}.
-In Proc. of 2nd International Conference on Mathematical Knowledge
-Management (MKM 2003).
-Bertinoro, Italy, February 2003.
-LNCS 2594, pp. 105-118, Springer. 2003.
-
-\bibitem {Lan98}
-C. Laneve:
-\emph{La descrizione operazionale dei linguaggi di programmazione. \\
-Un'introduzione}
-FrancoAngeli, 1998.
-
-\bibitem {Lor02}
-D. Lordi:
-\emph{Sperimentazione e Sviluppo di Strumenti per la gestione di metadati}. \\
-Master Thesis in Computer Science, University of Bologna, 2002.
-
-\bibitem {RDF}
-\emph{Resource Description Framework (RDF) Model and Syntax Specification}.
-W3C Recommendation. February 22, 1999. \\
-\CURI{http://www.w3.org/TR/1999/REC-rdfsyntax-19990222/}.
-
-\bibitem {RDFS}
-\emph{RDF Vocabulary Description Language 1.0: RDF Schema}.
-W3C Working Draft. January 23, 2003
-\CURI{http://www.w3.org/TR/rdf-schema/}.
-
-\bibitem {Sam00}
-G. Sambin: \emph{Formal topology and domains}.
-Electronic Notes in Theoretical Computer Science, (35). 2000. 
-
-\bibitem {Sch02}
-I. Schena:
-\emph{Towards a Semantic Web for Formal Mathematics}.
-Ph.D. dissertation. University of Bologna, 2002. Advisor: A. Asperti.
-
-\bibitem {Unicode}
-Unicode Consortium: 
-\emph{The Unicode Standard, Version 3.2}. March 2002. \\
-\CURI{http://www.unicode.org/unicode/standard/standard.html}.
-
-\bibitem {URI}
-\emph{Uniform Resource Identifiers (URI): Generic Syntax (RFC 2396)}.
-August 1998. \\
-\CURI{http://www.ietf.org/rfc/rfc2396.txt}.
-
-\bibitem {W3Ca}
-\emph{Character Model for the World Wide Web 1.0},
-W3C Working Draft. April 30, 2002.
-\CURI{http://www.w3.org/TR/charmod/}.
-
-\bibitem {Win93}
-G. Winskel:
-\emph{The formal semantics of programming languages: an introduction}.
-MIT Press Series in the Foundations of Computing. London: MIT Press, 1993.
-
-\bibitem {XML}
-\emph{Extensible Markup Language (XML) 1.0 (Second Edition)}.
-W3C Recommendation. October 6, 2000. \CURI{http://www.w3.org/REC-xml}.
-
-\bibitem {XQuery}
-\emph{XQuery 1.0: An XML Query Language}.
-W3C Working Draft November 15, 2002. \CURI{http://www.w3.org/TR/xquery/}.
-
-\end{thebibliography}