]> matita.cs.unibo.it Git - helm.git/blob - helm/mathql/homepage/authors.html
* the main function MUST return 0 to communicate everything was OK
[helm.git] / helm / mathql / homepage / authors.html
1 <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
2 <html>
3 <head>
4   <title>MathQL</title>
5                                                               
6   <meta http-equiv="content-type"
7  content="text/html; charset=ISO-8859-1">
8                                    
9   <meta name="author" content="Ferruccio Guidi">
10                                    
11   <meta name="description" content="MathQL Home Page">
12 </head>
13   <body>
14                 
15 <h1 align="center">MathQL-1</h1>
16              
17 <h2 align="center">A query language for RDF metadata</h2>
18                  
19 <table cellpadding="10" cellspacing="2" border="0" width="95%"
20  bgcolor="#ffffff">
21            <tbody>
22              <tr>
23                <td valign="top" align="left">                           
24                                    
25       <ul>
26                  <li><a href="index.html">Forward</a><br>
27               </li>
28                                                                        
29       </ul>
30                                                        
31       <ul>
32                <li><a href="features.html">Features</a></li>
33                                                        
34       </ul>
35        
36       <ul>
37          <li><a href="whatsnew.html">What's new</a><br>
38     </li>
39        
40       </ul>
41                                                        
42       <ul>
43                <li><a href="documentation.html">Documentation</a></li>
44                                                                        
45       </ul>
46                                                
47       <ul>
48               <li><a href="implementation.html">Implementation</a><br>
49               </li>
50                                                
51       </ul>
52                                                
53       <ul>
54               <li>The authors<br>
55               </li>
56                                                                        
57       </ul>
58                                                
59       <ul>
60               <li><a href="links.html">Links</a><br>
61               </li>
62                                                
63       </ul>
64             <br>
65                </td>
66                <td valign="top">                                        
67  
68       <div align="right"><b>The authors</b><br>
69             </div>
70             <br>
71       MathQL-1is developed by <a
72  href="http://www.cs.unibo.it/%7Efguidi/">Ferruccio  Guidi</a> and <a
73  href="http://www.cs.unibo.it/%7Eschena/">Irene Schena</a>  at the <a
74  href="http://www.cs.unibo.it/">Department of Computer  Science</a>  of the
75       <a href="http://www.unibo.it/">University of Bologna</a> since April 
76  2002.<br>
77             <br>
78             <b>Ferruccio Guidi</b> obtained a Master degree in Mathematics
79 at the  University   of Padova and a PhD in Computer Science at the University
80  of  Bologna. His research interests include computer-assisted proof development,
81    Martin-L&ouml;f type theory and substructural logic. He is a member of
82 the        <a href="http://helm.cs.unibo.it/">HELM Working Group</a> and
83 of the       <a href="http://www.math.unipd.it/%7Elogic/">"Paulus Venetus"
84 Research Group in Logic</a>.<br>
85             <br>
86             <b>Irene Schena</b> obtained a Master Degree in Computer Science
87 and a Ph.D. in Computer Science at the University of Bologna. Her research
88 interests include Linear Logic and Web Technologies. She is a member of the
89       <a href="http://helm.cs.unibo.it/">HELM Working Group</a> and of the
90       <a href="http://www.w3c.org/Math">W3C Math Working Group</a>.<br>
91             <br>
92             <b>Contacts:</b> <a href="mailto://fguidi@cs.unibo.it">fguidi@cs.unibo.it</a>, 
93        <a href="mailto://schena@cs.unibo.it">schena@cs.unibo.it</a>.<br>
94                </td>
95              </tr>
96                                    
97   </tbody>         
98 </table>
99          <small></small> <br>
100         <br>
101   <br>
102  <br>
103 </body>
104 </html>