blob: 42535bf2dd05bffe4a349ca078b55ec1fdff5652 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
|
\providecommand\seen{seen } \providecommand\webpageat{web page at }
\providecommand\homepageat{home page at }
\providecommand\projectpageat{project page at }
\providecommand\systempageat{system home page at }
\providecommand\svnrepoat{Subversion repository at }
\providecommand\January{January} \providecommand\February{February}
\providecommand\March{March} \providecommand\April{April}
\providecommand\May{May} \providecommand\June{June}
\providecommand\July{July} \providecommand\August{August}
\providecommand\September{September} \providecommand\October{October}
\providecommand\November{November} \providecommand\December{December}
\providecommand\AUSTRALIA{Australia} \providecommand\ROMANIA{Romania}
\providecommand\MEXICO{Mexico} \providecommand\ITALY{Italy}
\providecommand\USA{USA} \providecommand\IRELAND{Ireland}
\providecommand\HUNGARY{Hungary} \providecommand\JAPAN{Japan}
\providecommand\CANADA{Canada} \providecommand\SPAIN{Spain}
\providecommand\NETHERLANDS{Netherlands} \providecommand\UK{UK}
\providecommand\SWEDEN{Sweden} \providecommand\GERMANY{Germany}
\providecommand\openmath{OpenMath} \providecommand\fc{forthcoming}
\providecommand\PROC{Proceedings} \providecommand\omdoc{OMDoc}
\providecommand\activemath{ActiveMath}
\begin{thebibliography}{Koh10}
\bibitem[Koh08]{Kohlhase:ulsmf08}
Michael Kohlhase.
\newblock Using {\LaTeX} as a semantic markup format.
\newblock {\em Mathematics in Computer Science}, 2(2):279--304, 2008.
\bibitem[Koh10]{Kohlhase:OMDoc1.3}
Michael Kohlhase.
\newblock An open markup format for mathematical documents {\omdoc} [version
1.3].
\newblock Draft Specification, 2010.
\end{thebibliography}
|