summaryrefslogtreecommitdiff
path: root/macros/latex/contrib/index/test.bib
diff options
context:
space:
mode:
authorNorbert Preining <norbert@preining.info>2019-09-02 13:46:59 +0900
committerNorbert Preining <norbert@preining.info>2019-09-02 13:46:59 +0900
commite0c6872cf40896c7be36b11dcc744620f10adf1d (patch)
tree60335e10d2f4354b0674ec22d7b53f0f8abee672 /macros/latex/contrib/index/test.bib
Initial commit
Diffstat (limited to 'macros/latex/contrib/index/test.bib')
-rw-r--r--macros/latex/contrib/index/test.bib121
1 files changed, 121 insertions, 0 deletions
diff --git a/macros/latex/contrib/index/test.bib b/macros/latex/contrib/index/test.bib
new file mode 100644
index 0000000000..9fabe3d1e8
--- /dev/null
+++ b/macros/latex/contrib/index/test.bib
@@ -0,0 +1,121 @@
+@string{JSYML = "Journal of Symbolic Logic"}
+@string{THEC5 = "Theoretical Computer Science"}
+@string{LNCS = {Lecture Notes in Computer Science}}
+@string{LNMATH = {Lecture Notes in Mathematics}}
+@string{PHITRA = "Philosophical Transactions of the Royal Society of
+London. Series A"}
+@string{REPPP = "Reports on Progress in Physics"}
+@string{RAIIT1 = "RAIRO Informatique Th\'eorique"}
+@string{iandc={Information and Control}}
+
+@Article{BraunmuhlCV83,
+title={The Recognition of Deterministic {CFL}'s in Small Time and
+Space},
+author={Burchard von Braunm{\"u}hl and Stephen Cook and Kurt Mehlhorn
+and Rutger Verbeek},
+pages={34--51},
+journal=iandc,
+month=jan # "/" # feb,
+year=1983,
+volume=56,
+number={1/2}
+}
+
+@InProceedings{CantoneCP90,
+author={D. Cantone and V. Cutello and A. Policrito},
+title={Set-theoretic reductions of {Hilbert's} {Tenth} {Problem}},
+pages={65--75},
+booktitle={CSL '89: 3rd Workshop on Computer Science Logic},
+editor={E. B{\"o}rger and H. Kleine B{\"u}ning and M. M. Richter},
+publisher={Springer-Verlag},
+series=lncs,
+year=1990,
+volume=440
+}
+
+@Article{Adamowicz92,
+title={A sharp version of the bounded {Matijasevich} conjecture and
+the end-extension problem},
+author={Zofia Adamowicz},
+journal=jsyml,
+volume=57,
+number=2,
+pages={597--616},
+year=1992,
+month=jun
+}
+
+@InProceedings{AdlemanMa76,
+title={Diophantine complexity},
+author={Leonard Adleman and Kenneth Manders},
+crossref={FOCS17},
+pages={81--88}
+}
+
+@Article{AlloucheSh92,
+title={The ring of $k$-regular sequences},
+author={Jean-Paul Allouche and Jeffrey Shallit},
+journal=THEC5,
+volume=98,
+number=2,
+pages={163-197},
+year=1992,
+month=may,
+comment=NEW1
+}
+
+@InProceedings{Azra71,
+author={{Jean-Pierre} Azra},
+title={Relations {Diophantiennes} et la solution n\'egative du 10e
+probl\`eme de {Hilbert}},
+booktitle={S\'eminaire Bourbaki---vol. 1970/71. Expos\'es 382--399},
+series=lnmath,
+publisher={Springer-Verlag},
+volume=244,
+pages={11-28},
+year=1971,
+language=french
+}
+
+@Article{CaludeP83,
+title={Independent Instances for Some Undecidable Problems},
+author={Cristian Calude and Gheorghe P{\u{a}}un},
+journal=raiit1,
+year=1983,
+volume=17,
+number=1,
+pages={49-54}
+}
+
+@Article{Baker68,
+title={Contributions to the theory of {Diophantine} equations {I}. {On}
+the representation of integers by binary forms},
+author={A. Baker},
+year=1968,
+journal=phitra,
+volume=263,
+number=1139,
+pages={173-191}
+}
+
+@Article{BartonFi72a,
+title={Applications of algebraic manipulation programs in physics},
+author={D. Barton and J. P. Fitch},
+journal=reppp,
+year=1972,
+volume=35,
+number=3,
+pages={235-314}
+}
+
+@Proceedings{FOCS17,
+title={$17^{\it th}$ Annual Symposium on Foundations of Computer
+Science},
+booktitle={$17^{\it th}$ Annual Symposium on Foundations of Computer
+Science},
+year=1976,
+address={Houston, Texas},
+month={25--26 } # oct,
+organization={IEEE},
+crossrefonly=1
+}