papers: rebuild BiBTeX entries to contain number fields
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 5 Dec 2012 16:33:42 +0000 (17:33 +0100)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 5 Dec 2012 16:33:42 +0000 (17:33 +0100)
research/publications/infsof2012-mpm.bib
research/publications/jss2012-concern.bib
research/publications/matita.bib
research/publications/mcs-disambiguation-errors.bib
research/publications/nrhm-overlapping-conversions.bib
research/publications/scp2010-evolution.bib
research/publications/studia11-dh-ocaml.bib
research/publications/tinycals.bib

index 4456786..fc92245 100644 (file)
@@ -8,5 +8,6 @@
   doi = {10.1016/j.infsof.2012.09.002},
   pages = {459-474},
   volume = {55},
+  number = {2},
   journal = {Information and Software Technology},
 }
index 20ddf99..53821ad 100644 (file)
@@ -8,5 +8,6 @@
   doi = {10.1016/j.jss.2012.02.018},
   pages = {2228-2240},
   volume = {85},
+  number = {10},
   journal = {Journal of Systems and Software},
 }
index 809588a..581f9f5 100644 (file)
@@ -7,5 +7,6 @@
   doi = {10.1007/s10817-007-9070-5},
   pages = {109-139},
   volume = {39},
+  number = {2},
   journal = {Journal of Automated Reasoning},
 }
index b2ecd17..229a17c 100644 (file)
@@ -8,5 +8,6 @@
   doi = {10.1007/s11786-008-0058-2},
   pages = {355-378},
   volume = {2},
+  number = {2},
   journal = {Mathematics in Computer Science},
 }
index 50b24d6..df72c2e 100644 (file)
@@ -8,5 +8,6 @@
   doi = {10.1080/13614560802316145},
   pages = {57-94},
   volume = {14},
+  number = {1},
   journal = {New Review of Hypermedia and Multimedia},
 }
index e0b077b..7db550b 100644 (file)
@@ -7,5 +7,6 @@
   doi = {10.1016/j.scico.2010.11.001},
   pages = {1144-1160},
   volume = {76},
+  number = {12},
   journal = {Science of Computer Programming},
 }
index aeec43d..c4a58c9 100644 (file)
@@ -5,5 +5,6 @@
   year = {2011},
   pages = {129-157},
   volume = {9},
+  number = {1},
   journal = {Studia Informatica Universalis},
 }
index b311482..f1a8a4b 100644 (file)
@@ -8,5 +8,6 @@
   doi = {10.1016/j.entcs.2006.09.026},
   pages = {125-142},
   volume = {174},
+  number = {2},
   booktitle = {UITP 2006: User Interfaces for Theorem Provers},
 }