@INPROCEEDINGS{Tro92,
  author = {Troelstra, A.S.},
  title = {Comparing the theory of representations and constructive mathematics},
  booktitle = {Computer Science Logic},
  year = {1992},
  editor = {B\"orger, E. and J\"ager, G. and Kleine B\"uning, H. and Richter,
	M.M.},
  volume = {626},
  series = LNCS,
  pages = {382--395},
  address = {Berlin},
  publisher = {Springer},
  note = {Proceedings of the 5th Workshop, CSL'91, Berne Switzerland, October
	1991},
  file = {Tro92.pdf:Tro92.pdf:PDF},
  keywords = {bib,cca,int}
}

{"_id":"4d6CksP7iEzFAQMu8","bibbaseid":"troelstra-comparingthetheoryofrepresentationsandconstructivemathematics-1992","authorIDs":[],"author_short":["Troelstra, A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Troelstra"],"firstnames":["A.S."],"suffixes":[]}],"title":"Comparing the theory of representations and constructive mathematics","booktitle":"Computer Science Logic","year":"1992","editor":[{"propositions":[],"lastnames":["Börger"],"firstnames":["E."],"suffixes":[]},{"propositions":[],"lastnames":["Jäger"],"firstnames":["G."],"suffixes":[]},{"propositions":[],"lastnames":["Kleine","Büning"],"firstnames":["H."],"suffixes":[]},{"propositions":[],"lastnames":["Richter"],"firstnames":["M.M."],"suffixes":[]}],"volume":"626","pages":"382–395","address":"Berlin","publisher":"Springer","note":"Proceedings of the 5th Workshop, CSL'91, Berne Switzerland, October 1991","file":"Tro92.pdf:Tro92.pdf:PDF","keywords":"bib,cca,int","bibtex":"@INPROCEEDINGS{Tro92,\r\n author = {Troelstra, A.S.},\r\n title = {Comparing the theory of representations and constructive mathematics},\r\n booktitle = {Computer Science Logic},\r\n year = {1992},\r\n editor = {B\\\"orger, E. and J\\\"ager, G. and Kleine B\\\"uning, H. and Richter,\r\n\tM.M.},\r\n volume = {626},\r\n series = LNCS,\r\n pages = {382--395},\r\n address = {Berlin},\r\n publisher = {Springer},\r\n note = {Proceedings of the 5th Workshop, CSL'91, Berne Switzerland, October\r\n\t1991},\r\n file = {Tro92.pdf:Tro92.pdf:PDF},\r\n keywords = {bib,cca,int}\r\n}\r\n\r\n","author_short":["Troelstra, A."],"editor_short":["Börger, E.","Jäger, G.","Kleine Büning, H.","Richter, M."],"key":"Tro92","id":"Tro92","bibbaseid":"troelstra-comparingthetheoryofrepresentationsandconstructivemathematics-1992","role":"author","urls":{},"keyword":["bib","cca","int"],"downloads":0},"bibtype":"inproceedings","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-10T10:17:54.116Z","downloads":0,"keywords":["bib","cca","int"],"search_terms":["comparing","theory","representations","constructive","mathematics","troelstra"],"title":"Comparing the theory of representations and constructive mathematics","year":1992,"dataSources":["t7rKiAbxugj4Agz8M"]}