Search dblp for Publications

export results for "toc:db/conf/cie/cie2019.bht:"

 download as .bib file

@inproceedings{DBLP:conf/cie/0001K19,
  author       = {Markus Holzer and
                  Martin Kutrib},
  editor       = {Florin Manea and
                  Barnaby Martin and
                  Dani{\"{e}}l Paulusma and
                  Giuseppe Primiero},
  title        = {Non-Recursive Trade-Offs Are "Almost Everywhere"},
  booktitle    = {Computing with Foresight and Industry - 15th Conference on Computability
                  in Europe, CiE 2019, Durham, UK, July 15-19, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11558},
  pages        = {25--36},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-22996-2\_3},
  doi          = {10.1007/978-3-030-22996-2\_3},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/0001K19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cie/Ambos-SpiesZ19,
  author       = {Klaus Ambos{-}Spies and
                  Xizhong Zheng},
  editor       = {Florin Manea and
                  Barnaby Martin and
                  Dani{\"{e}}l Paulusma and
                  Giuseppe Primiero},
  title        = {On the Differences and Sums of Strongly Computably Enumerable Real
                  Numbers},
  booktitle    = {Computing with Foresight and Industry - 15th Conference on Computability
                  in Europe, CiE 2019, Durham, UK, July 15-19, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11558},
  pages        = {310--322},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-22996-2\_27},
  doi          = {10.1007/978-3-030-22996-2\_27},
  timestamp    = {Thu, 04 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/Ambos-SpiesZ19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cie/BazhenovGV19,
  author       = {Nikolay Bazhenov and
                  Hristo Ganchev and
                  Stefan V. Vatev},
  editor       = {Florin Manea and
                  Barnaby Martin and
                  Dani{\"{e}}l Paulusma and
                  Giuseppe Primiero},
  title        = {Effective Embeddings for Pairs of Structures},
  booktitle    = {Computing with Foresight and Industry - 15th Conference on Computability
                  in Europe, CiE 2019, Durham, UK, July 15-19, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11558},
  pages        = {84--95},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-22996-2\_8},
  doi          = {10.1007/978-3-030-22996-2\_8},
  timestamp    = {Wed, 17 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/BazhenovGV19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cie/BazhenovMO19,
  author       = {Nikolay Bazhenov and
                  Manat Mustafa and
                  Sergei Ospichev},
  editor       = {Florin Manea and
                  Barnaby Martin and
                  Dani{\"{e}}l Paulusma and
                  Giuseppe Primiero},
  title        = {Bounded Reducibility for Computable Numberings},
  booktitle    = {Computing with Foresight and Industry - 15th Conference on Computability
                  in Europe, CiE 2019, Durham, UK, July 15-19, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11558},
  pages        = {96--107},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-22996-2\_9},
  doi          = {10.1007/978-3-030-22996-2\_9},
  timestamp    = {Wed, 17 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/BazhenovMO19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cie/BeaudouFMNR19,
  author       = {Laurent Beaudou and
                  Florent Foucaud and
                  Florent R. Madelaine and
                  Lhouari Nourine and
                  Ga{\'{e}}tan Richard},
  editor       = {Florin Manea and
                  Barnaby Martin and
                  Dani{\"{e}}l Paulusma and
                  Giuseppe Primiero},
  title        = {Complexity of Conjunctive Regular Path Query Homomorphisms},
  booktitle    = {Computing with Foresight and Industry - 15th Conference on Computability
                  in Europe, CiE 2019, Durham, UK, July 15-19, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11558},
  pages        = {108--119},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-22996-2\_10},
  doi          = {10.1007/978-3-030-22996-2\_10},
  timestamp    = {Thu, 04 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/BeaudouFMNR19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cie/BellP19,
  author       = {Paul C. Bell and
                  Igor Potapov},
  editor       = {Florin Manea and
                  Barnaby Martin and
                  Dani{\"{e}}l Paulusma and
                  Giuseppe Primiero},
  title        = {Towards Uniform Online Spherical Tessellations},
  booktitle    = {Computing with Foresight and Industry - 15th Conference on Computability
                  in Europe, CiE 2019, Durham, UK, July 15-19, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11558},
  pages        = {120--131},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-22996-2\_11},
  doi          = {10.1007/978-3-030-22996-2\_11},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cie/BellP19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cie/BridouxDPR19,
  author       = {Florian Bridoux and
                  Nicolas Durbec and
                  K{\'{e}}vin Perrot and
                  Adrien Richard},
  editor       = {Florin Manea and
                  Barnaby Martin and
                  Dani{\"{e}}l Paulusma and
                  Giuseppe Primiero},
  title        = {Complexity of Maximum Fixed Point Problem in Boolean Networks},
  booktitle    = {Computing with Foresight and Industry - 15th Conference on Computability
                  in Europe, CiE 2019, Durham, UK, July 15-19, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11558},
  pages        = {132--143},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-22996-2\_12},
  doi          = {10.1007/978-3-030-22996-2\_12},
  timestamp    = {Thu, 04 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/BridouxDPR19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cie/CarlucciMR19,
  author       = {Lorenzo Carlucci and
                  Leonardo Mainardi and
                  Michael Rathjen},
  editor       = {Florin Manea and
                  Barnaby Martin and
                  Dani{\"{e}}l Paulusma and
                  Giuseppe Primiero},
  title        = {A Note on the Ordinal Analysis of {\textbackslash}mathbf RCA{\_}0
                  + {\textbackslash}mathrm WO({\textbackslash}mathbf {\(\sigma\)} {)}
                  {RCA} 0 + {WO} {(} {\(\sigma\)} {)}},
  booktitle    = {Computing with Foresight and Industry - 15th Conference on Computability
                  in Europe, CiE 2019, Durham, UK, July 15-19, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11558},
  pages        = {144--155},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-22996-2\_13},
  doi          = {10.1007/978-3-030-22996-2\_13},
  timestamp    = {Thu, 04 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/CarlucciMR19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cie/CegielskiC19,
  author       = {Patrick C{\'{e}}gielski and
                  Julien Cervelle},
  editor       = {Florin Manea and
                  Barnaby Martin and
                  Dani{\"{e}}l Paulusma and
                  Giuseppe Primiero},
  title        = {Study of Stepwise Simulation Between {ASM}},
  booktitle    = {Computing with Foresight and Industry - 15th Conference on Computability
                  in Europe, CiE 2019, Durham, UK, July 15-19, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11558},
  pages        = {156--167},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-22996-2\_14},
  doi          = {10.1007/978-3-030-22996-2\_14},
  timestamp    = {Thu, 04 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/CegielskiC19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cie/Cucker19,
  author       = {Felipe Cucker},
  editor       = {Florin Manea and
                  Barnaby Martin and
                  Dani{\"{e}}l Paulusma and
                  Giuseppe Primiero},
  title        = {Recent Advances in the Computation of the Homology of Semialgebraic
                  Sets},
  booktitle    = {Computing with Foresight and Industry - 15th Conference on Computability
                  in Europe, CiE 2019, Durham, UK, July 15-19, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11558},
  pages        = {1--12},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-22996-2\_1},
  doi          = {10.1007/978-3-030-22996-2\_1},
  timestamp    = {Thu, 04 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/Cucker19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cie/DimitrovHMSSV19,
  author       = {Rumen D. Dimitrov and
                  Valentina S. Harizanov and
                  Andrei S. Morozov and
                  Paul Shafer and
                  Alexandra A. Soskova and
                  Stefan V. Vatev},
  editor       = {Florin Manea and
                  Barnaby Martin and
                  Dani{\"{e}}l Paulusma and
                  Giuseppe Primiero},
  title        = {Cohesive Powers of Linear Orders},
  booktitle    = {Computing with Foresight and Industry - 15th Conference on Computability
                  in Europe, CiE 2019, Durham, UK, July 15-19, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11558},
  pages        = {168--180},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-22996-2\_15},
  doi          = {10.1007/978-3-030-22996-2\_15},
  timestamp    = {Fri, 26 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cie/DimitrovHMSSV19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cie/DurandL19,
  author       = {Bruno Durand and
                  Gr{\'{e}}gory Lafitte},
  editor       = {Florin Manea and
                  Barnaby Martin and
                  Dani{\"{e}}l Paulusma and
                  Giuseppe Primiero},
  title        = {An algorithmic approach to characterizations of admissibles},
  booktitle    = {Computing with Foresight and Industry - 15th Conference on Computability
                  in Europe, CiE 2019, Durham, UK, July 15-19, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11558},
  pages        = {181--192},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-22996-2\_16},
  doi          = {10.1007/978-3-030-22996-2\_16},
  timestamp    = {Wed, 19 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/DurandL19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cie/Galeotti19,
  author       = {Lorenzo Galeotti},
  editor       = {Florin Manea and
                  Barnaby Martin and
                  Dani{\"{e}}l Paulusma and
                  Giuseppe Primiero},
  title        = {Surreal Blum-Shub-Smale Machines},
  booktitle    = {Computing with Foresight and Industry - 15th Conference on Computability
                  in Europe, CiE 2019, Durham, UK, July 15-19, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11558},
  pages        = {13--24},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-22996-2\_2},
  doi          = {10.1007/978-3-030-22996-2\_2},
  timestamp    = {Thu, 04 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/Galeotti19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cie/GruttemeierKSS19,
  author       = {Niels Gr{\"{u}}ttemeier and
                  Christian Komusiewicz and
                  Jannik Schestag and
                  Frank Sommer},
  editor       = {Florin Manea and
                  Barnaby Martin and
                  Dani{\"{e}}l Paulusma and
                  Giuseppe Primiero},
  title        = {Destroying Bicolored P\({}_{\mbox{3}}\)s by Deleting Few Edges},
  booktitle    = {Computing with Foresight and Industry - 15th Conference on Computability
                  in Europe, CiE 2019, Durham, UK, July 15-19, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11558},
  pages        = {193--204},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-22996-2\_17},
  doi          = {10.1007/978-3-030-22996-2\_17},
  timestamp    = {Thu, 08 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/GruttemeierKSS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cie/IshkuvatovM19,
  author       = {Ruslan Ishkuvatov and
                  Daniil Musatov},
  editor       = {Florin Manea and
                  Barnaby Martin and
                  Dani{\"{e}}l Paulusma and
                  Giuseppe Primiero},
  title        = {On Approximate Uncomputability of the Kolmogorov Complexity Function},
  booktitle    = {Computing with Foresight and Industry - 15th Conference on Computability
                  in Europe, CiE 2019, Durham, UK, July 15-19, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11558},
  pages        = {230--239},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-22996-2\_20},
  doi          = {10.1007/978-3-030-22996-2\_20},
  timestamp    = {Thu, 04 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/IshkuvatovM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cie/KalimullinMS19,
  author       = {Iskander Sh. Kalimullin and
                  Russell G. Miller and
                  Hans Schoutens},
  editor       = {Florin Manea and
                  Barnaby Martin and
                  Dani{\"{e}}l Paulusma and
                  Giuseppe Primiero},
  title        = {Degree Spectra for Transcendence in Fields},
  booktitle    = {Computing with Foresight and Industry - 15th Conference on Computability
                  in Europe, CiE 2019, Durham, UK, July 15-19, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11558},
  pages        = {205--216},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-22996-2\_18},
  doi          = {10.1007/978-3-030-22996-2\_18},
  timestamp    = {Wed, 16 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cie/KalimullinMS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cie/KlootwijkM19,
  author       = {Stefan Klootwijk and
                  Bodo Manthey},
  editor       = {Florin Manea and
                  Barnaby Martin and
                  Dani{\"{e}}l Paulusma and
                  Giuseppe Primiero},
  title        = {Probabilistic Analysis of Facility Location on Random Shortest Path
                  Metrics},
  booktitle    = {Computing with Foresight and Industry - 15th Conference on Computability
                  in Europe, CiE 2019, Durham, UK, July 15-19, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11558},
  pages        = {37--49},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-22996-2\_4},
  doi          = {10.1007/978-3-030-22996-2\_4},
  timestamp    = {Thu, 04 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/KlootwijkM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cie/Miyabe19,
  author       = {Kenshi Miyabe},
  editor       = {Florin Manea and
                  Barnaby Martin and
                  Dani{\"{e}}l Paulusma and
                  Giuseppe Primiero},
  title        = {Uniform Relativization},
  booktitle    = {Computing with Foresight and Industry - 15th Conference on Computability
                  in Europe, CiE 2019, Durham, UK, July 15-19, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11558},
  pages        = {50--61},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-22996-2\_5},
  doi          = {10.1007/978-3-030-22996-2\_5},
  timestamp    = {Thu, 04 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/Miyabe19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cie/MoyenS19,
  author       = {Jean{-}Yves Moyen and
                  Jakob Grue Simonsen},
  editor       = {Florin Manea and
                  Barnaby Martin and
                  Dani{\"{e}}l Paulusma and
                  Giuseppe Primiero},
  title        = {More Intensional Versions of Rice's Theorem},
  booktitle    = {Computing with Foresight and Industry - 15th Conference on Computability
                  in Europe, CiE 2019, Durham, UK, July 15-19, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11558},
  pages        = {217--229},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-22996-2\_19},
  doi          = {10.1007/978-3-030-22996-2\_19},
  timestamp    = {Thu, 04 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/MoyenS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cie/Petrakis19,
  author       = {Iosif Petrakis},
  editor       = {Florin Manea and
                  Barnaby Martin and
                  Dani{\"{e}}l Paulusma and
                  Giuseppe Primiero},
  title        = {Borel and Baire Sets in Bishop Spaces},
  booktitle    = {Computing with Foresight and Industry - 15th Conference on Computability
                  in Europe, CiE 2019, Durham, UK, July 15-19, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11558},
  pages        = {240--252},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-22996-2\_21},
  doi          = {10.1007/978-3-030-22996-2\_21},
  timestamp    = {Thu, 04 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/Petrakis19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cie/Sanders19,
  author       = {Sam Sanders},
  editor       = {Florin Manea and
                  Barnaby Martin and
                  Dani{\"{e}}l Paulusma and
                  Giuseppe Primiero},
  title        = {Nets and Reverse Mathematics - Some Initial Results},
  booktitle    = {Computing with Foresight and Industry - 15th Conference on Computability
                  in Europe, CiE 2019, Durham, UK, July 15-19, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11558},
  pages        = {253--264},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-22996-2\_22},
  doi          = {10.1007/978-3-030-22996-2\_22},
  timestamp    = {Thu, 04 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/Sanders19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cie/Szabo19,
  author       = {M{\'{a}}t{\'{e}} Szab{\'{o}}},
  editor       = {Florin Manea and
                  Barnaby Martin and
                  Dani{\"{e}}l Paulusma and
                  Giuseppe Primiero},
  title        = {Kalm{\'{a}}r's Argument for the Independence of Computer Science},
  booktitle    = {Computing with Foresight and Industry - 15th Conference on Computability
                  in Europe, CiE 2019, Durham, UK, July 15-19, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11558},
  pages        = {265--276},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-22996-2\_23},
  doi          = {10.1007/978-3-030-22996-2\_23},
  timestamp    = {Thu, 08 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/Szabo19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cie/Turner19,
  author       = {Raymond Turner},
  editor       = {Florin Manea and
                  Barnaby Martin and
                  Dani{\"{e}}l Paulusma and
                  Giuseppe Primiero},
  title        = {Correctness, Explanation and Intention},
  booktitle    = {Computing with Foresight and Industry - 15th Conference on Computability
                  in Europe, CiE 2019, Durham, UK, July 15-19, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11558},
  pages        = {62--71},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-22996-2\_6},
  doi          = {10.1007/978-3-030-22996-2\_6},
  timestamp    = {Thu, 04 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/Turner19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cie/WangWY19,
  author       = {Shaoyi Wang and
                  Guohua Wu and
                  Mars M. Yamaleev},
  editor       = {Florin Manea and
                  Barnaby Martin and
                  Dani{\"{e}}l Paulusma and
                  Giuseppe Primiero},
  title        = {The d.r.e wtt-Degrees are Dense},
  booktitle    = {Computing with Foresight and Industry - 15th Conference on Computability
                  in Europe, CiE 2019, Durham, UK, July 15-19, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11558},
  pages        = {277--285},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-22996-2\_24},
  doi          = {10.1007/978-3-030-22996-2\_24},
  timestamp    = {Thu, 04 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/WangWY19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cie/Welch19,
  author       = {Philip D. Welch},
  editor       = {Florin Manea and
                  Barnaby Martin and
                  Dani{\"{e}}l Paulusma and
                  Giuseppe Primiero},
  title        = {Higher Type Recursion for Transfinite Machine Theory},
  booktitle    = {Computing with Foresight and Industry - 15th Conference on Computability
                  in Europe, CiE 2019, Durham, UK, July 15-19, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11558},
  pages        = {72--83},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-22996-2\_7},
  doi          = {10.1007/978-3-030-22996-2\_7},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/Welch19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cie/WiedermannL19,
  author       = {Jir{\'{\i}} Wiedermann and
                  Jan van Leeuwen},
  editor       = {Florin Manea and
                  Barnaby Martin and
                  Dani{\"{e}}l Paulusma and
                  Giuseppe Primiero},
  title        = {Finite State Machines with Feedback: An Architecture Supporting Minimal
                  Machine Consciousness},
  booktitle    = {Computing with Foresight and Industry - 15th Conference on Computability
                  in Europe, CiE 2019, Durham, UK, July 15-19, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11558},
  pages        = {286--297},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-22996-2\_25},
  doi          = {10.1007/978-3-030-22996-2\_25},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/WiedermannL19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cie/Wroclawski19,
  author       = {Michal Wroclawski},
  editor       = {Florin Manea and
                  Barnaby Martin and
                  Dani{\"{e}}l Paulusma and
                  Giuseppe Primiero},
  title        = {Representations of Natural Numbers and Computability of Various Functions},
  booktitle    = {Computing with Foresight and Industry - 15th Conference on Computability
                  in Europe, CiE 2019, Durham, UK, July 15-19, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11558},
  pages        = {298--309},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-22996-2\_26},
  doi          = {10.1007/978-3-030-22996-2\_26},
  timestamp    = {Thu, 04 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/Wroclawski19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/cie/2019,
  editor       = {Florin Manea and
                  Barnaby Martin and
                  Dani{\"{e}}l Paulusma and
                  Giuseppe Primiero},
  title        = {Computing with Foresight and Industry - 15th Conference on Computability
                  in Europe, CiE 2019, Durham, UK, July 15-19, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11558},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-22996-2},
  doi          = {10.1007/978-3-030-22996-2},
  isbn         = {978-3-030-22995-5},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/2019.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.