@INPROCEEDINGS{BV04,
  author = {Bridges, Douglas S. and V{\^{\i}}{\c{t}}{\u{a}}, Lumini{\c{t}}a},
  title = {A general constructive proof technique},
  booktitle = {Computability and Complexity in Analysis},
  year = {2004},
  editor = {Brattka, Vasco and Staiger, Ludwig and Weihrauch, Klaus},
  volume = {320},
  series = {Informatik Berichte},
  pages = {29--40},
  month = aug,
  publisher = {FernUniversit\"at in Hagen},
  note = {Sixth International Workshop, CCA 2004, Lutherstadt Wittenberg, Germany,
	August 16--20, 2004}
}

{"_id":"sAPf36DdGzy2Jvadn","bibbaseid":"bridges-v-ageneralconstructiveprooftechnique-2004","author_short":["Bridges, D. S.","Vîţă, L."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Bridges"],"firstnames":["Douglas","S."],"suffixes":[]},{"propositions":[],"lastnames":["Vîţă"],"firstnames":["Luminiţa"],"suffixes":[]}],"title":"A general constructive proof technique","booktitle":"Computability and Complexity in Analysis","year":"2004","editor":[{"propositions":[],"lastnames":["Brattka"],"firstnames":["Vasco"],"suffixes":[]},{"propositions":[],"lastnames":["Staiger"],"firstnames":["Ludwig"],"suffixes":[]},{"propositions":[],"lastnames":["Weihrauch"],"firstnames":["Klaus"],"suffixes":[]}],"volume":"320","series":"Informatik Berichte","pages":"29–40","month":"August","publisher":"FernUniversität in Hagen","note":"Sixth International Workshop, CCA 2004, Lutherstadt Wittenberg, Germany, August 16–20, 2004","bibtex":"@INPROCEEDINGS{BV04,\r\n author = {Bridges, Douglas S. and V{\\^{\\i}}{\\c{t}}{\\u{a}}, Lumini{\\c{t}}a},\r\n title = {A general constructive proof technique},\r\n booktitle = {Computability and Complexity in Analysis},\r\n year = {2004},\r\n editor = {Brattka, Vasco and Staiger, Ludwig and Weihrauch, Klaus},\r\n volume = {320},\r\n series = {Informatik Berichte},\r\n pages = {29--40},\r\n month = aug,\r\n publisher = {FernUniversit\\\"at in Hagen},\r\n note = {Sixth International Workshop, CCA 2004, Lutherstadt Wittenberg, Germany,\r\n\tAugust 16--20, 2004}\r\n}\r\n\r\n","author_short":["Bridges, D. S.","Vîţă, L."],"editor_short":["Brattka, V.","Staiger, L.","Weihrauch, K."],"key":"BV04","id":"BV04","bibbaseid":"bridges-v-ageneralconstructiveprooftechnique-2004","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"inproceedings","biburl":"http://cca-net.de/publications/lit.bib","dataSources":["t7rKiAbxugj4Agz8M"],"keywords":[],"search_terms":["general","constructive","proof","technique","bridges","vîţă"],"title":"A general constructive proof technique","year":2004}