From: Ferruccio Guidi Date: Tue, 15 Jul 2003 09:17:59 +0000 (+0000) Subject: description for "Irene Schena" added in authors.html X-Git-Tag: camera_ready~8 X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=615085e49ce7a1ad3ee9c4933aed7faa8d93dec0 description for "Irene Schena" added in authors.html --- diff --git a/helm/mathql/homepage/authors.html b/helm/mathql/homepage/authors.html index ca698e3c5..16661199a 100644 --- a/helm/mathql/homepage/authors.html +++ b/helm/mathql/homepage/authors.html @@ -2,94 +2,103 @@ MathQL - + - + - + - +

MathQL-1

- +

A query language for RDF metadata

- + - - - + + - + - - - + + + +
- +
+ - + + - + - + - +
    -
  • The authors
    -
    • - +
  • The authors
    +
    • +
- + -
- 		+
+ 		+
The authors
-
-
- MathQL-1is developed by Ferruccio - Guidi and Irene Schena - at the Department of Computer Science - of the University of Bologna since April + +
+ MathQL-1is developed by Ferruccio Guidi and Irene Schena at the Department of Computer Science of the + University of Bologna since April 2002.
-
- Ferruccio Guidi obtained a 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öf type theory and substructural logic. He is a member of the - HELM Working Group and of the - "Paulus Venetus" Research -Group in Logic.
-
- Irene Schena
-
- Contacts: fguidi@cs.unibo.it, +
+ Ferruccio Guidi 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öf type theory and substructural logic. He is a member of +the HELM Working Group and +of the "Paulus Venetus" +Research Group in Logic.
+
+ Irene Schena 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 + HELM Working Group and of the + W3C Math Working Group.
+
+ Contacts: fguidi@cs.unibo.it, schena@cs.unibo.it.
-
-
-
+
+
+

diff --git a/helm/mathql/homepage/links.html b/helm/mathql/homepage/links.html index 1420d8436..a56faa15d 100644 --- a/helm/mathql/homepage/links.html +++ b/helm/mathql/homepage/links.html @@ -2,91 +2,92 @@ MathQL - + + - + - + - +

MathQL-1

- +

A query language for RDF metadata

- + - - - + + - + - - - + + + + +
- +
+ - + - + - + - + - + - +
    -
  • Links
    -
    • - +
  • Links
    +
    • +
-
- 		- +
+ 		+
Links
-
- + +
    -
  • HELM Project homepage -  MOWGLI Project homepage
    • - +
  • HELM Project homepage, +   MOWGLI Project homepage
    • +
- +
    -
  • W3C XML resources   -W3C RDF resources
    • - +
  • W3C XML resources,   + W3C RDF resources
    • +
- +
    -
  • Some RDF query languages having a homepage
    • - -
+
  • Some RDF query languages having a homepage
    • + +
    DAML+OIL   rdfDB   RDFPath   RDF resources href="http://triple.semanticweb.org/">TRIPLE   SquishQL   XDD
    -
    - -
    The Developers wishing to have their RDF query language +
    + +
    The Developers wishing to have their RDF query language listed here may contact the authors.
    -
    -
    -
    +
    +