]> matita.cs.unibo.it Git - helm.git/blob - mathql/doc/mathql.tex
Sigma algebras and measurable maps defined.
[helm.git] / mathql / doc / mathql.tex
1 \documentclass{llncs}
2
3 \usepackage{mathql_macros}
4 \newcommand\xcomment[1]{}
5
6 \title{MathQL-1 Version 4\\Reference Documentation}
7 \author{Ferruccio Guidi%
8 \thanks{This work has been partially supported by
9 MoWGLI (European FET Project IST-2001-33562).}
10 }
11
12 \institute{Department of Computer Science\\
13 Mura Anteo Zamboni 7, 40127 Bologna, ITALY.\\
14 \email{fguidi@cs.unibo.it}}
15
16 \date{ }
17
18 \begin{document}
19
20 \maketitle
21
22 \begin{abstract}
23 \end{abstract}
24
25 \addtocounter{tocdepth}{2}
26
27 \section*{\contentsname}{
28 \catcode`@=11
29 \def\l@title#1#2{}
30 \def\l@author#1#2{}
31 \@starttoc{toc}
32 \catcode`@=12}
33
34 \input{mathql_overview}
35 \input{mathql_introduction}
36 \input{mathql_operational}
37 \input{mathql_tests}
38 \input{mathql_bib}
39
40 \end{document}