-
1
-
-
0347492022
-
XML, Stylesheets and the remmathematization of Formal Content
-
A. Asperti, L. Padovani, C.S. Coen, I. Schena, XML, Stylesheets and the remmathematization of Formal Content, Proceedings of "Extreme Markup Languages 2001 Conference", 2001. Available at http://www.cs.unibo.it/helm/extreme2001.ps.gz.
-
(2001)
Proceedings of Extreme Markup Languages 2001 Conference
-
-
Asperti, A.1
Padovani, L.2
Coen, C.S.3
Schena, I.4
-
2
-
-
0004129081
-
-
S. Boag et al. (Eds.), World Wide Web Consortium Working Draft, November Latest version at
-
S. Boag et al. (Eds.), XQuery 1.0: An XML Query Language, World Wide Web Consortium Working Draft, November 2002. Latest version at http://www.w3.org/TR/xquery.
-
(2002)
XQuery 1.0: An XML Query Language
-
-
-
3
-
-
35248873978
-
-
D. Beckett (Ed.), World Wide Web Consortium Working Draft, November Latest version at
-
D. Beckett (Ed.), RDF/XML Syntax Specification (Revised), World Wide Web Consortium Working Draft, November 2002. Latest version at http://www.w3.org/TR/rdf-syntax-grammar.
-
(2002)
RDF/XML Syntax Specification (Revised)
-
-
-
4
-
-
0003840045
-
-
P.V. Biron and A. Malhotra (Eds.), World Wide Web Consortium Recommendation
-
P.V. Biron and A. Malhotra (Eds.), XML Schema Part 2: Datatypes, World Wide Web Consortium Recommendation, 2001. Available at http://www.w3.org/TR/xmlschema-2/.
-
(2001)
XML Schema Part 2: Datatypes
-
-
-
5
-
-
0348122120
-
-
World Wide Web Consortium Recommendation
-
D. Carlisle, P. Ion, R. Milner, N. Poppelier, Mathematical Markup Language (MathML) Version 2.0, World Wide Web Consortium Recommendation, 2001. Available at http://www.w3.org/TR/MathML2.
-
(2001)
Mathematical Markup Language (MathML) Version 2.0
-
-
Carlisle, D.1
Ion, P.2
Milner, R.3
Poppelier, N.4
-
6
-
-
35248889096
-
A Type System for OpenMath
-
O. Caprotti and A.M. Cohen, A Type System for OpenMath, The OpenMath Consortium, 1999. Available at http://monet.nag.co.uk/cocoon/openmath/standard/ecc.pdf.
-
(1999)
The OpenMath Consortium
-
-
Caprotti, O.1
Cohen, A.M.2
-
7
-
-
0038144796
-
-
M. Dean et al (Eds.), World Wide Web Consortium Working Draft, November Latest version at
-
M. Dean et al (Eds.), Web Ontology Language (OWL) Reference Version 1.0. World Wide Web Consortium Working Draft, November 2002. Latest version at http://www.w3.org/TR/owl-ref.
-
(2002)
Web Ontology Language (OWL) Reference Version 1.0
-
-
-
8
-
-
7944220884
-
-
P. Hayes (Ed.), World Wide Web Consortium Working Draft, November Latest version at
-
P. Hayes (Ed.), RDF Semantics, World Wide Web Consortium Working Draft, November 2002. Latest version at http://www.w3.org/TR/rdf-mt/.
-
(2002)
RDF Semantics
-
-
-
9
-
-
0003449831
-
-
O. Lassila and R. Swick (Eds.), World Wide Web Consortium Recommendation
-
O. Lassila and R. Swick (Eds.), Resource Description Framework (RDF) Model and Syntax Specification, World Wide Web Consortium Recommendation, 1999. Available at http://www.w3.org/TR/REC-rdf-syntax.
-
(1999)
Resource Description Framework (RDF) Model and Syntax Specification
-
-
-
10
-
-
70349238192
-
-
A. Malhotra et al. (Eds.), World Wide Web Consortium Working Draft, November Latest version at
-
A. Malhotra et al. (Eds.), XQuery 1.0 and XPath 2.0 Functions and Operators, World Wide Web Consortium Working Draft, November 2002. Latest version at http://www.w3.org/TR/xquery-operators/.
-
(2002)
XQuery 1.0 and XPath 2.0 Functions and Operators
-
-
-
12
-
-
33847728843
-
-
World Wide Web Consortium Note. Latest version at
-
B. McBride et al, An RDF Schema for P3P, World Wide Web Consortium Note. Latest version at http://www.w3.org/TR/p3p-rdfschema/.
-
An RDF Schema for P3P
-
-
McBride, B.1
-
13
-
-
0003746794
-
-
H. Thompson et al. (Eds.), World Wide Web Consortium Recommendation
-
H. Thompson et al. (Eds.), XML Schema Part 1: Structures, World Wide Web Consortium Recommendation, 2001. Available at http://www.w3.org/TR/xmlschema-1/.
-
(2001)
XML Schema Part 1: Structures
-
-
-
14
-
-
35248900036
-
Wolfram Research
-
Wolfram Research, Mathematical Functions. Available at http://functions.wolfram.com/.
-
Mathematical Functions
-
-
|