%0 Conference Paper %1 conf/cie/Miller16 %A Miller, Russell %B CiE %D 2016 %E Beckmann, Arnold %E Bienvenu, Laurent %E Jonoska, Natasa %I Springer %K dblp %P 343-352 %T Baire Category Theory and Hilbert's Tenth Problem Inside Q Q. %U http://dblp.uni-trier.de/db/conf/cie/cie2016.html#Miller16 %V 9709 %@ 978-3-319-40188-1

@inproceedings{conf/cie/Miller16, added-at = {2022-09-26T00:00:00.000+0200}, author = {Miller, Russell}, biburl = {https://www.bibsonomy.org/bibtex/243e9b760c459dc996c191c4b5e3b311e/dblp}, booktitle = {CiE}, crossref = {conf/cie/2016}, editor = {Beckmann, Arnold and Bienvenu, Laurent and Jonoska, Natasa}, ee = {https://doi.org/10.1007/978-3-319-40189-8_35}, interhash = {a50111fd5949051f4974a67c8f073190}, intrahash = {43e9b760c459dc996c191c4b5e3b311e}, isbn = {978-3-319-40188-1}, keywords = {dblp}, pages = {343-352}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T12:29:22.000+0200}, title = {Baire Category Theory and Hilbert's Tenth Problem Inside \mathbb Q Q.}, url = {http://dblp.uni-trier.de/db/conf/cie/cie2016.html#Miller16}, volume = 9709, year = 2016 }