Irene Schena  Home/Search
Context Related
| cs.unibo.it/~schena/ps/thesis.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cs.unibo.it/~schena/www...profile (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The World Wide Web is a universal information space, a medium for human exchange. (Update)
Cited by: More
A Query Language for a Metadata Framework - About Mathematical Resources (Correct)
Similar documents (at the sentence level):
6.7%: Mathematical Knowledge Management in HELM - Asperti, Padovani, Coen, Guidi, .. (2001) (Correct)
Active bibliography (related documents): More All
2.1: A Language for describing the Mathematical Knowledge - Schena (Correct)
0.5: The Communication Revolution And Its Effects On 21st Century.. - Utschig (Correct)
0.5: The Link vs. the Event: Activating and Deactivating.. - Hardman, Schmitz, al. (2000) (Correct)
Similar documents based on text: More All
0.5: Analysis and Automatic Detection of Information Flows in Systems.. - Focardi (1999) (Correct)
0.5: A Methodology for the Specification of Java Components and.. - Cimato (1998) (Correct)
0.5: A Coordination Language and a Coordination Architecture for.. - Rossi (2000) (Correct)
BibTeX entry: (Update)
Schena I. Towards a Semantic Web for Formal Mathematics. Ph.D. Thesis in Computer Science, University of Bologna. Supervisor: A. Asperti, February 2002. http://citeseer.ist.psu.edu/schena02towards.html More
@misc{ schena02towards,
author = "I. Schena",
title = "Towards a Semantic Web for Formal Mathematics",
text = "Schena I. Towards a Semantic Web for Formal Mathematics. Ph.D. Thesis in
Computer Science, University of Bologna. Supervisor: A. Asperti, February
2002.",
year = "2002",
url = "citeseer.ist.psu.edu/schena02towards.html" }
Citations (may not include all citations):634 A machine-oriented logic based on the resolution principle (context) - Robinson - 1965
592 Introduction to HOL: A theorem proving environment for highe.. (context) - Gordon, Melham - 1993
240 Extensible Markup Language (context) - Markup, Second et al. - 2000
233 The formulae-as-types notion of construction (context) - Howard - 1980
191 LEGO Proof Development System: User's Manual (context) - Luo, Pollack - 1992
133 Cambridge Tracts in Theoretical Computer Science (context) - Girard, Lafont et al. - 1989
116 Natural Deduction (context) - Prawitz - 1965
99 Society for Industrial and Applied Mathematics (context) - of, the et al. - 1993
78 PVS: A prototype veri cation system (context) - Owre, Shankar - 1992
68 Logics and Type Systems - Geuvers - 1993
58 Annotea: An Open RDF Infrastructure for Shared Web Annotatio.. - Kahan, Koivunen et al. - 2001
54 The Unicode Standard (context) - Consortium - 2000
46 How to Write a Long Formula (context) - Lamport - 1994
46 Proof Theory and Logical Complexity (context) - Girard - 1988
45 Cambridge University Press (context) - Huet, Plotkin - 1993
45 Cambridge University Press (context) - Huet, Plotkin - 1991
43 A survey of the project AUTOMATH (context) - de Bruijn - 1980
42 An overview of the Mizar project (context) - Rudnicki - 1992
31 WC Recommendation November (context) - Transformations, November et al. - 1999
31 Extensible Stylesheet Language (context) - Stylesheet, Recommendation et al. - 2001
28 An improved proof procedure (context) - Prawitz - 1960
23 Mathematical Markup Language (context) - Markup, Recommendation et al. - 2001
20 A Mizar Mode for HOL (context) - Harrison - 1996
20 Standard Generalized Markup Language (context) - Generalized, SGML - 1986
18 An Introduction to the Resource Description Framework (context) - Miller - 1998
16 Toward mechanical mathematics (context) - Wang - 1960
15 Querying Community Web Portals - Karvounarakis, Christophides et al. - 2000
15 Intuitionistic Type Theory (context) - of - 1984
15 Computer Science Laboratory (context) - Owre, Shankar et al. - 1999
13 OMDoc: Towards an OpenMath Representation of Mathematical Do.. (context) - Kohlhase - 2000
13 Springer-Verlag (context) - utte, Theory - 1977
12 XML in a Nutshell (context) - Harold, Means - 2001
11 WC Recommendation November (context) - Path, Recommendation et al. - 1999
11 The Coq Proof Assistant (context) - Huet, Kahn et al. - 1998
11 The logic theory machine (context) - Newell, Simon - 1956
11 OMDoc: Towards an Internet Standard for the Administration - Kohlhase - 2000
9 Ecient Representation and Validation of Proofs (context) - Necula, Lee - 1998
7 Presenting Proofs in a Human Oriented Way (context) - Horacek - 1999
7 The automation of proof: A historical and sociological explo.. (context) - MacKenzie - 1995
7 WC Candidate Recommendation March (context) - Description, Schema et al. - 2000
7 Checking Landau's \Grundlagen (context) - van - 1994
6 WC Working Draft August (context) - Transformations, Draft et al. - 2001
5 The Extensible HyperText Markup Language - A Reformulation o.. (context) - tm - 2000
5 OMDoc: An Infrastructure for OpenMath Content Dictionary Inf.. - Kohlhase - 2000
3 RDF Query Languages: A state-of-the-art - Karvounarakis - 2001
3 Goldfarb Series on Open Information Management (context) - XML, The - 1998
3 A First Step Toward Communication in Virtual Libraries (context) - Tochtermann - 1996
3 calculus: A Complete Gallina Development (context) - Theory - 1993
3 WC Working Draft December (context) - Path, Working et al. - 2001
3 Generation and Presentation of Formal Mathematical Documents (context) - Oostdijk - 2001
3 From text to model to markup (context) - Maler, Andaloussi - 1996
3 Introduction to RDF Metadata (context) - Lassila - 1997
3 Goldfarb Series on Open Information Management (context) - Goldfarb, Prescod et al. - 1998
2 WC Recommendation November (context) - Object, Level et al. - 2000
2 Goldfarb Series on Open Information Management (context) - Leventhal, Lewis et al. - 1998
2 Math on the Web: A Status Report (context) - Miner, Topping - 2001
2 Mathematics into type: Updated Edition (context) - Swanson - 1999
2 North Holland Publishing Company (context) - Theory - 1975
2 Using Mizar in Computer Aided Instruction of Mathematics (context) - Trybulec, Rudnicki - 1993
1 Web Architecture Describing and Exchanging Data WC Note Jun.. (context) - Architecture, Exchanging et al. - 1999
1 XML Information Set WC Recommendation October (context) - Information, October et al. - 2001
1 XML Linking and Style WC Note June (context) - Linking, June et al. - 2001
1 Datatype WC Recommendation May (context) - Schema, Datatypes et al. - 2001
1 RI and (context) - TEXbook, MA - 1986
1 Appendix A DTDs (context) - Th, Constructions et al. - 1994
1 Dublin Core Quali ers DCMI Recommendation 11 July (context) - Core, DCMI et al. - 2000
1 Speci cation WC Working Draft September (context) - for, Speci et al. - 2001
1 Systems Research Center of Digital Equipment Corporation (context) - to, Proof - 1993
1 WC Recommendation June (context) - Linking, Recommendation et al. - 2001
1 The OpenMath Standard: OpenMath Deliverable (context) - Consortium - 1999
1 Integrating XML with DB2 XML Extender and DB2 Text Extender (context) - Ennser, Delporte et al. - 2000
1 progettazione di un modello RDF per biblioteche matematiche .. (context) - Studio - 1999
1 Speci cation WC Recommendation December (context) - Speci, December et al. - 1999
1 Verbalization of highlevel formal proofs (context) - Holland-Minkley, Barzilay et al. - 1999
1 Namespace XML WC Recommendation January (context) - in, January et al. - 1999
1 PIC Label Distribution Label Syntax and Communication Protoc.. (context) - Label, Syntax et al. - 1996
1 Model and Syntax Speci cation WC Recommendation February (context) - Description, Model et al. - 1999
1 XML Query Requirement WC Working Draft February (context) - Query, Draft et al. - 2001
1 WC Recommendation September (context) - Vector, Recommendation et al. - 2001
1 XML QL Query Language XML WC Note August (context) - QL, for et al. - 1998
1 WC Working Draft December (context) - Transformations, Draft et al. - 2001
1 XML Query Language WC Working Draft December (context) - An, Language et al. - 2001
1 WC Candidate Recommendation September (context) - Pointer, Candidate et al. - 2001
http://www.ietf.org/rfc/rfc2396.txt
http://www.isoc.org/internet-history/brief.html
Documents on the same site (http://www.cs.unibo.it/~schena/www/profile.html):
A Language for describing the Mathematical Knowledge - Schena (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC