- added components diagram with KLOCs

[helm.git] / helm / papers / matita / matita.bib

diff --git a/helm/papers/matita/matita.bib b/helm/papers/matita/matita.bib
index 4927850ba7c43fbc32574c237287829cc996eae2..79d527b45b5136c33c12de4c3d2b812a14ee29d6 100644 (file)
--- a/helm/papers/matita/matita.bib
+++ b/helm/papers/matita/matita.bib
@@ -1,4 +1,15 @@
 
+@inproceedings{latexmathml,
+ author = {Luca Padovani},
+ title = {On the Roles of LATEX and MathML in Encoding and Processing Mathematical Expressions},
+ booktitle = {MKM '03: Proceedings of the Second International Conference on Mathematical Knowledge Management},
+ year = {2003},
+ isbn = {3-540-00568-4},
+ pages = {66--79},
+ publisher = {Springer-Verlag},
+ address = {London, UK},
+}
+
 @inproceedings{gmetadom,
   author = "Luca Padovani and Claudio Sacerdoti Coen and Stefano Zacchiroli",
   title = "A Generative Approach to the Implementation of Language Bindings for the Document Object Model",
@@ -912,6 +923,15 @@
   year =         1998
 }
 
+@misc{content-centric,
+ author = "Andrea Asperti and Luca padovani and Claudio Sacerdoti Coen
+           and irene Schena",
+ title = "Content-centric Logical Envirnoments",
+ howpublished = "Short Presentation at the Fifteenth IEEE Symposium on Logic in Computer Science",
+ month = "June",
+ year = "2000",
+ key = "content centric"
+}
 
 @misc{mowgli-proposal,
  title = "The {MoWGLI Proposal}, {HTML} Version",