diff options
| author | aarne <aarne@cs.chalmers.se> | 2006-12-12 16:20:27 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2006-12-12 16:20:27 +0000 |
| commit | fc8884a8a2de44c573b80d608a89b89a6293bc2e (patch) | |
| tree | 8106310a380c22b02a65badddb4e519de46b4975 /doc | |
| parent | 87b66d52057cca6c002c8ce9da2e93030fba1443 (diff) | |
fixed some bib entries
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/gf-bib.bib | 22 |
1 files changed, 13 insertions, 9 deletions
diff --git a/doc/gf-bib.bib b/doc/gf-bib.bib index 180968084..5a9cd3828 100644 --- a/doc/gf-bib.bib +++ b/doc/gf-bib.bib @@ -24,7 +24,7 @@ AUTHOR = {M. Wenzel}, TITLE = {{Isar - a Generic Interpretative Approach to Readable Formal Proof Documents}}, BOOKTITLE = {{Theorem Proving in Higher Order Logics, TPHOLs'99}}, - YEAR = {2004}, + YEAR = {1999}, series = lncs, volume = {1690}, EDITOR = {Y. Bertot and G. Dowek and A. Hirschowitz and C. Paulin and L. Th\'{e}ry} @@ -33,7 +33,6 @@ @INPROCEEDINGS{pollard-hog, AUTHOR = {C. Pollard}, TITLE = {{Higher-Order Categorial Grammar}}, - {I}nterface}, BOOKTITLE = {{Proceedings of the Conference on Categorial Grammars (CG2004), Montpellier, France}}, PAGES = {340--361}, @@ -149,21 +148,26 @@ @inproceedings{eldada, title = {{Implementing an Open Source Arabic Resource Grammar in GF}}, - author = {{A. El Dada and A. Ranta}}, - booktitle = {{20th Arabic Linguistics Symposium. Western Michigan University March 3-5 2006}} + author = {A. El Dada and A. Ranta}, + booktitle = {{20th Arabic Linguistics Symposium. Western Michigan University March 3-5 2006}}, + year = {2006} + } @inproceedings{nganga-africa, title = {{Multilingual content development for eLearning in Africa}}, - author = {{W. Ng'ang'a}}, + author = {W. Ng'ang'a}, booktitle = {{1st Pan-African Conference on ICT for Development, Education and Training. - 24-26 May 2006, Addis Ababa, Ethiopia}} + 24-26 May 2006, Addis Ababa, Ethiopia}}, + year = {2006} + } @inproceedings{caprotti, title = {{WebALT! Deliver Mathematics Everywhere}}, - author = {{O. Caprotti}}, - booktitle = {{Proceedings of SITE 2006. Orlando March 20-24, 2006}} + author = {O. Caprotti}, + booktitle = {{Proceedings of SITE 2006. Orlando March 20-24}}, + year = {2006} } @@ -1374,7 +1378,7 @@ } @Misc{Mizar-homepage, - author = {}, + author = {A. Trybulec}, title = {{The Mizar Homepage}}, howpublished = {\verb!http://mizar.org/!}, documentURL = "http://mizar.org/", |