@inproceedings{beeson2012,
	address = {Berlin Heidelberg},
	author = {Michael Beeson},
	booktitle = {Computability in Europe 2012},
	date-added = {2014-11-13 22:57:33 +0000},
	date-modified = {2014-11-14 18:30:35 +0000},
	editor = {S. Barry Cooper and Anuj Dawar and Benedict Loewe},
	keywords = {Geometry, Constructive mathematics},
	pages = {46-55},
	publisher = {Springer-Verlag},
	series = {Theoretical Computer Science and General Issues},
	title = {Logic of ruler and compass constructions},
	url_pdf = {Cambridge.pdf},
	volume = {7318},
	year = {2012}}

{"_id":"W64qEqiYSs82ni7re","authorIDs":["2SdAzEbDMovr39m3H","4zHeuQRwDkMD6Xqr8","546642d9bc7d6a460d00089c","5de8d43e9e80cdde01000195","5defeac014db5cdf0100007c","5dfc2497ff6df7de01000070","5e03ae17a94129de0100000d","5e0dc417c7ca67df01000109","5e13f6acf8aa5dde01000042","5e2f4a4c26e5cadf0100001c","5e51bde132046bdf0100010a","5e51e8358240c0df01000020","5e69258d662319de010002c5","646esaGECfJjWFymd","7mrKCLm7cPiKm5CWg","B6skFWJok43hJg7At","BGLwXT98q3Kfv9QTj","QcRbyYqcCRCSzhNb4","SsSrsyDc8aoqbnh2Y","TqZdHatzyaM88iEPt","WRMwE6oZ4X9x2raNz","XXmWhRQTdX28SvTMv","Y6CDZWnAjiy5nMvqw","Z3LjuYrif98QXhXZM","b6rQCmwcvrZxCNy6n","bo9wnnFY7yzdyp7Ys","bzE2DwxKMcdB45SRa","chfLHypwisu7qBotT","dZMcb62spBJnnjs3t","dpRM5cTGAFrusW55R","gKswhtTyf2MZBNzTm","ggWmAzYnJEh8XEXgn","gpNwNhYtCK7mSpaXS","hH3KZcgia6CKuCB3K","iGE2RbobA9XCL82JW","kTLoeuwJ8R9Lz7wYx","ntERk8MYJbwtJvdLg","pCMiYg5EBwjkwPqC5","tKZHk67ZbM8m8gTG5","wREPnWGHjcJZafazQ","wwTsH4RwBNarDwfdT"],"author_short":["Beeson, M."],"bibbaseid":"beeson-logicofrulerandcompassconstructions-2012","bibdata":{"bibtype":"inproceedings","type":"inproceedings","address":"Berlin Heidelberg","author":[{"firstnames":["Michael"],"propositions":[],"lastnames":["Beeson"],"suffixes":[]}],"booktitle":"Computability in Europe 2012","date-added":"2014-11-13 22:57:33 +0000","date-modified":"2014-11-14 18:30:35 +0000","editor":[{"firstnames":["S.","Barry"],"propositions":[],"lastnames":["Cooper"],"suffixes":[]},{"firstnames":["Anuj"],"propositions":[],"lastnames":["Dawar"],"suffixes":[]},{"firstnames":["Benedict"],"propositions":[],"lastnames":["Loewe"],"suffixes":[]}],"keywords":"Geometry, Constructive mathematics","pages":"46-55","publisher":"Springer-Verlag","series":"Theoretical Computer Science and General Issues","title":"Logic of ruler and compass constructions","url_pdf":"Cambridge.pdf","volume":"7318","year":"2012","bibtex":"@inproceedings{beeson2012,\n\taddress = {Berlin Heidelberg},\n\tauthor = {Michael Beeson},\n\tbooktitle = {Computability in Europe 2012},\n\tdate-added = {2014-11-13 22:57:33 +0000},\n\tdate-modified = {2014-11-14 18:30:35 +0000},\n\teditor = {S. Barry Cooper and Anuj Dawar and Benedict Loewe},\n\tkeywords = {Geometry, Constructive mathematics},\n\tpages = {46-55},\n\tpublisher = {Springer-Verlag},\n\tseries = {Theoretical Computer Science and General Issues},\n\ttitle = {Logic of ruler and compass constructions},\n\turl_pdf = {Cambridge.pdf},\n\tvolume = {7318},\n\tyear = {2012}}\n\n","author_short":["Beeson, M."],"editor_short":["Cooper, S. B.","Dawar, A.","Loewe, B."],"key":"beeson2012","id":"beeson2012","bibbaseid":"beeson-logicofrulerandcompassconstructions-2012","role":"author","urls":{" pdf":"http://www.michaelbeeson.com/research/papers/Cambridge.pdf"},"keyword":["Geometry","Constructive mathematics"],"metadata":{"authorlinks":{"beeson, m":"http://michaelbeeson.com/"}}},"bibtype":"inproceedings","biburl":"http://www.michaelbeeson.com/research/papers/beeson.bib","creationDate":"2014-11-14T17:58:50.046Z","downloads":5,"keywords":["geometry","constructive mathematics"],"search_terms":["logic","ruler","compass","constructions","beeson"],"title":"Logic of ruler and compass constructions","year":2012,"dataSources":["v9esbf6gQ8h64d3NA"]}