Published in: LIPIcs, Volume 252, 31st EACSL Annual Conference on Computer Science Logic (CSL 2023)
Dominik Kirst and Benjamin Peters. Gödel’s Theorem Without Tears - Essential Incompleteness in Synthetic Computability. In 31st EACSL Annual Conference on Computer Science Logic (CSL 2023). Leibniz International Proceedings in Informatics (LIPIcs), Volume 252, pp. 30:1-30:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{kirst_et_al:LIPIcs.CSL.2023.30, author = {Kirst, Dominik and Peters, Benjamin}, title = {{G\"{o}del’s Theorem Without Tears - Essential Incompleteness in Synthetic Computability}}, booktitle = {31st EACSL Annual Conference on Computer Science Logic (CSL 2023)}, pages = {30:1--30:18}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-264-8}, ISSN = {1868-8969}, year = {2023}, volume = {252}, editor = {Klin, Bartek and Pimentel, Elaine}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2023.30}, URN = {urn:nbn:de:0030-drops-174911}, doi = {10.4230/LIPIcs.CSL.2023.30}, annote = {Keywords: incompleteness, undecidability, synthetic computability theory} }
Published in: OASIcs, Volume 17, 17th GI/ITG Conference on Communication in Distributed Systems (KiVS 2011)
Jedrzej Rybicki, Benjamin Pesch, Martin Mauve, and Björn Scheuermann. Supporting Cooperative Traffic Information Systems through Street-Graph-based Peer-to-Peer Networks. In 17th GI/ITG Conference on Communication in Distributed Systems (KiVS 2011). Open Access Series in Informatics (OASIcs), Volume 17, pp. 121-132, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)
@InProceedings{rybicki_et_al:OASIcs.KiVS.2011.121, author = {Rybicki, Jedrzej and Pesch, Benjamin and Mauve, Martin and Scheuermann, Bj\"{o}rn}, title = {{Supporting Cooperative Traffic Information Systems through Street-Graph-based Peer-to-Peer Networks}}, booktitle = {17th GI/ITG Conference on Communication in Distributed Systems (KiVS 2011)}, pages = {121--132}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-27-9}, ISSN = {2190-6807}, year = {2011}, volume = {17}, editor = {Luttenberger, Norbert and Peters, Hagen}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.KiVS.2011.121}, URN = {urn:nbn:de:0030-drops-29639}, doi = {10.4230/OASIcs.KiVS.2011.121}, annote = {Keywords: Peer-to-Peer, traffic information systems, network simulators} }
Feedback for Dagstuhl Publishing