diff options
Diffstat (limited to 'Master/texmf-dist/bibtex/bib/index/test.bib')
-rw-r--r-- | Master/texmf-dist/bibtex/bib/index/test.bib | 121 |
1 files changed, 121 insertions, 0 deletions
diff --git a/Master/texmf-dist/bibtex/bib/index/test.bib b/Master/texmf-dist/bibtex/bib/index/test.bib new file mode 100644 index 00000000000..9fabe3d1e81 --- /dev/null +++ b/Master/texmf-dist/bibtex/bib/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 +} |