]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mathql/homepage/authors.html
ocaml 3.09 transition
[helm.git] / helm / mathql / homepage / authors.html
index 16661199a016d464575fa766a6da1089bdf78f53..7ed38d33fe0e2fbde75f9974fa039032001e6bc1 100644 (file)
 <html>
 <head>
   <title>MathQL</title>
-                                                              
+                                                                     
   <meta http-equiv="content-type"
  content="text/html; charset=ISO-8859-1">
-                                   
+                                       
   <meta name="author" content="Ferruccio Guidi">
-                                   
+                                       
   <meta name="description" content="MathQL Home Page">
 </head>
   <body>
-                
+                  
 <h1 align="center">MathQL-1</h1>
-             
+               
 <h2 align="center">A query language for RDF metadata</h2>
-                 
+                   
 <table cellpadding="10" cellspacing="2" border="0" width="95%"
  bgcolor="#ffffff">
-           <tbody>
-             <tr>
-               <td valign="top" align="left">                           
-                                   
+            <tbody>
+              <tr>
+                <td valign="top" align="left">                          
+                                           
       <ul>
-                 <li><a href="index.html">Forward</a><br>
-              </li>
-                                                                       
+                  <li><a href="index.html">Forward</a><br>
+               </li>
+                                                                         
+     
       </ul>
-                                                       
+                                                               
       <ul>
-               <li><a href="features.html">Features</a></li>
-                                                       
+                <li><a href="features.html">Features</a></li>
+                                                               
       </ul>
-       
+               
       <ul>
-         <li><a href="whatsnew.html">What's new</a><br>
-    </li>
-       
+          <li><a href="whatsnew.html">What's new</a><br>
+     </li>
+               
       </ul>
-                                                       
+                                                               
       <ul>
-               <li><a href="documentation.html">Documentation</a></li>
-                                                                       
+                <li><a href="documentation.html">Documentation</a></li>
+                                                                         
+     
       </ul>
-                                               
+                                                       
       <ul>
-              <li><a href="implementation.html">Implementation</a><br>
-              </li>
-                                               
+               <li><a href="implementation.html">Implementation</a><br>
+               </li>
+                                                       
       </ul>
-                                               
+                                                       
       <ul>
-              <li>The authors<br>
-              </li>
-                                                                       
+               <li>The authors<br>
+               </li>
+                                                                         
+     
       </ul>
-                                               
+                                                       
       <ul>
-              <li><a href="links.html">Links</a><br>
-              </li>
-                                               
+               <li><a href="links.html">Links</a><br>
+               </li>
+                                                       
       </ul>
-            <br>
-               </td>
-               <td valign="top">                                        
+             <br>
+                </td>
+                <td valign="top">                                       
+         
       <div align="right"><b>The authors</b><br>
-            </div>
-            <br>
-      MathQL-1is developed by <a
+             </div>
+             <br>
+       MathQL-1is developed by <a
  href="http://www.cs.unibo.it/%7Efguidi/">Ferruccio  Guidi</a> and <a
  href="http://www.cs.unibo.it/%7Eschena/">Irene Schena</a>  at the <a
- href="http://www.cs.unibo.it/">Department of Computer  Science</a>  of the
-      <a href="http://www.unibo.it/">University of Bologna</a> since April 
- 2002.<br>
-            <br>
-            <b>Ferruccio Guidi</b> obtained a Master degree in Mathematics
-at the  Univerity   of Padova and a PhD in Computer Science at the University
- of  Bologna. His research interests include computer-assisted proof development,
-   Martin-L&ouml;f type theory and substructural logic. He is a member of
-the        <a href="http://helm.cs.unibo.it/">HELM Working Group</a> and
-of the       <a href="http://www.math.unipd.it/%7Elogic/">"Paulus Venetus"
-Research Group in Logic</a>.<br>
-            <br>
-            <b>Irene Schena</b> obtained a Master Degree in Computer Science
-and a Ph.D. in Computer Science at the Univerity of Bologna. Her research
-interests include Linear Logic and Web Tecnologies. She is a member of the
-      <a href="http://helm.cs.unibo.it/">HELM Working Group</a> and of the
+ href="http://www.cs.unibo.it/">Department of Computer  Science</a>  of the 
+      <a href="http://www.unibo.it/">University of Bologna</a> since April
 2002.<br>
+             <br>
+             <b>Ferruccio Guidi</b> obtained a Master degree in Mathematics 
+at the  University   of Padova and a PhD in Computer Science at the University 
+ of  Bologna. His research interests include computer-assisted proof development, 
+   Martin-L&ouml;f type theory and substructural logic. He is a member of 
+the        <a href="http://helm.cs.unibo.it/">HELM Working Group</a> and of
+the       <a href="http://www.math.unipd.it/%7Elogic/">"Paulus Venetus" Research
+Group in Logic</a>.<br>
+             <br>
+             <b>Irene Schena</b> obtained a Master Degree in Computer Science 
+and a Ph.D. in Computer Science at the University of Bologna. Her research 
+interests include Linear Logic and Web Technologies. She is a member of the 
+      <a href="http://helm.cs.unibo.it/">HELM Working Group</a> and of the 
       <a href="http://www.w3c.org/Math">W3C Math Working Group</a>.<br>
-            <br>
-            <b>Contacts:</b> <a href="mailto://fguidi@cs.unibo.it">fguidi@cs.unibo.it</a>, 
-       <a href="mailto://schena@cs.unibo.it">schena@cs.unibo.it</a>.<br>
-               </td>
-             </tr>
-                                   
-  </tbody>         
+             <br>
+             <b>Contacts:</b> <a href="mailto://fguidi@cs.unibo.it">fguidi@cs.unibo.it</a>,
+        <a href="mailto://schena@cs.unibo.it">schena@cs.unibo.it</a>.<br>
+                </td>
+              </tr>
+                                       
+  </tbody>          
 </table>
-         <small></small> <br>
-        <br>
-  <br>
- <br>
+           <br>
 </body>
 </html>