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