diff options
| author | Théo Zimmermann | 2018-12-05 16:27:40 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2019-02-28 16:04:54 +0100 |
| commit | 52b29f236ee2535257df1439740e5c86ed17e69d (patch) | |
| tree | 487f0b515ea4f9409b3e3144f54de55bca4597ad /doc | |
| parent | 979b9591ce5422cdf5ad76e4b6109b50cce4f1c7 (diff) | |
Add DOIs.
Co-authored-by: Clément Pit-Claudel <clement.pitclaudel@live.com>
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/sphinx/biblio.bib | 35 |
1 files changed, 28 insertions, 7 deletions
diff --git a/doc/sphinx/biblio.bib b/doc/sphinx/biblio.bib index ac6f30ceda..0467852b19 100644 --- a/doc/sphinx/biblio.bib +++ b/doc/sphinx/biblio.bib @@ -47,11 +47,15 @@ s}, @inproceedings{CH85, title={Constructions: a higher order proof system for mechanizing mathematics}, - author={Coquand, Thierry and Huet, Gerard}, + author={Coquand, Thierry and Huet, Gérard}, booktitle={European Conference on Computer Algebra}, pages={151--184}, year={1985}, - organization={Springer} + issn = {1611-3349}, + doi = {10.1007/3-540-15983-5_13}, + url = {http://dx.doi.org/10.1007/3-540-15983-5_13}, + isbn = 9783540396840, + publisher = {Springer Berlin Heidelberg} } @techreport{CH88 @@ -134,7 +138,11 @@ s}, booktitle={COLOG-88}, pages={50--66}, year={1990}, - organization={Springer} + issn = {1611-3349}, + doi = {10.1007/3-540-52335-9_47}, + url = {http://dx.doi.org/10.1007/3-540-52335-9_47}, + isbn = 9783540469636, + publisher = {Springer Berlin Heidelberg} } @Book{Cur58, @@ -278,7 +286,11 @@ s}, author={Huet, G{\'e}rard}, booktitle={Programming of Future Generation Computers. Elsevier Science}, year={1988}, - organization={Citeseer} + issn = {1611-3349}, + doi = {10.1007/3-540-17660-8_62}, + url = {http://dx.doi.org/10.1007/3-540-17660-8_62}, + isbn = 9783540477464, + publisher = {Springer Berlin Heidelberg} } @InProceedings{H89, @@ -384,7 +396,10 @@ s}, booktitle={Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages}, pages={89--104}, year={1989}, - organization={ACM} + doi = {10.1145/75277.75285}, + url = {http://dx.doi.org/10.1145/75277.75285}, + isbn = 0897912942, + organization = {ACM Press} } @inproceedings{P93, @@ -393,7 +408,10 @@ s}, booktitle={International Conference on Typed Lambda Calculi and Applications}, pages={328--345}, year={1993}, - organization={Springer} + doi = {10.1007/bfb0037116}, + url = {http://dx.doi.org/10.1007/bfb0037116}, + isbn = 3540565175, + organization = {Springer-Verlag} } @inproceedings{PP90, @@ -402,7 +420,10 @@ s}, booktitle={International Conference on Mathematical Foundations of Programming Semantics}, pages={209--228}, year={1989}, - organization={Springer} + doi = {10.1007/bfb0040259}, + url = {http://dx.doi.org/10.1007/bfb0040259}, + isbn = 0387973753, + organization = {Springer-Verlag} } @InProceedings{Parent95b, |