Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/cie/cie2023.bht:"
download as .bib file
@inproceedings{DBLP:conf/cie/ArrighiDG23,
author = {Pablo Arrighi and
Am{\'{e}}lia Durbec and
Pierre Guillon},
editor = {Gianluca Della Vedova and
Besik Dundua and
Steffen Lempp and
Florin Manea},
title = {Graph Subshifts},
booktitle = {Unity of Logic and Computation - 19th Conference on Computability
in Europe, CiE 2023, Batumi, Georgia, July 24-28, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13967},
pages = {261--274},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-36978-0\_21},
doi = {10.1007/978-3-031-36978-0\_21},
timestamp = {Wed, 26 Jul 2023 08:43:10 +0200},
biburl = {https://dblp.org/rec/conf/cie/ArrighiDG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/BarsukovM23,
author = {Alexey Barsukov and
Florent R. Madelaine},
editor = {Gianluca Della Vedova and
Besik Dundua and
Steffen Lempp and
Florin Manea},
title = {On Guarded Extensions of {MMSNP}},
booktitle = {Unity of Logic and Computation - 19th Conference on Computability
in Europe, CiE 2023, Batumi, Georgia, July 24-28, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13967},
pages = {202--213},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-36978-0\_17},
doi = {10.1007/978-3-031-36978-0\_17},
timestamp = {Sat, 05 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/BarsukovM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Brattka23,
author = {Vasco Brattka},
editor = {Gianluca Della Vedova and
Besik Dundua and
Steffen Lempp and
Florin Manea},
title = {On the Complexity of Learning Programs},
booktitle = {Unity of Logic and Computation - 19th Conference on Computability
in Europe, CiE 2023, Batumi, Georgia, July 24-28, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13967},
pages = {166--177},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-36978-0\_14},
doi = {10.1007/978-3-031-36978-0\_14},
timestamp = {Wed, 26 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/Brattka23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/BuriolaSB23,
author = {Gabriele Buriola and
Peter Schuster and
Ingo Blechschmidt},
editor = {Gianluca Della Vedova and
Besik Dundua and
Steffen Lempp and
Florin Manea},
title = {A Constructive Picture of Noetherian Conditions and Well Quasi-orders},
booktitle = {Unity of Logic and Computation - 19th Conference on Computability
in Europe, CiE 2023, Batumi, Georgia, July 24-28, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13967},
pages = {50--62},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-36978-0\_5},
doi = {10.1007/978-3-031-36978-0\_5},
timestamp = {Sat, 05 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/BuriolaSB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Carl23,
author = {Merlin Carl},
editor = {Gianluca Della Vedova and
Besik Dundua and
Steffen Lempp and
Florin Manea},
title = {All Melodies Are Lost - Recognizability for Weak and Strong {\(\alpha\)}-Register
Machines},
booktitle = {Unity of Logic and Computation - 19th Conference on Computability
in Europe, CiE 2023, Batumi, Georgia, July 24-28, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13967},
pages = {77--88},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-36978-0\_7},
doi = {10.1007/978-3-031-36978-0\_7},
timestamp = {Wed, 26 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/Carl23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/CiprianiP23,
author = {Vittorio Cipriani and
Arno Pauly},
editor = {Gianluca Della Vedova and
Besik Dundua and
Steffen Lempp and
Florin Manea},
title = {The Complexity of Finding Supergraphs},
booktitle = {Unity of Logic and Computation - 19th Conference on Computability
in Europe, CiE 2023, Batumi, Georgia, July 24-28, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13967},
pages = {178--189},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-36978-0\_15},
doi = {10.1007/978-3-031-36978-0\_15},
timestamp = {Sat, 05 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/CiprianiP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/GaleottiLL23,
author = {Lorenzo Galeotti and
Ethan S. Lewis and
Benedikt L{\"{o}}we},
editor = {Gianluca Della Vedova and
Besik Dundua and
Steffen Lempp and
Florin Manea},
title = {Symmetry for Transfinite Computability},
booktitle = {Unity of Logic and Computation - 19th Conference on Computability
in Europe, CiE 2023, Batumi, Georgia, July 24-28, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13967},
pages = {65--76},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-36978-0\_6},
doi = {10.1007/978-3-031-36978-0\_6},
timestamp = {Wed, 26 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/GaleottiLL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Georgiev23,
author = {Ivan Georgiev},
editor = {Gianluca Della Vedova and
Besik Dundua and
Steffen Lempp and
Florin Manea},
title = {Subrecursive Graphs of Representations of Irrational Numbers},
booktitle = {Unity of Logic and Computation - 19th Conference on Computability
in Europe, CiE 2023, Batumi, Georgia, July 24-28, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13967},
pages = {154--165},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-36978-0\_13},
doi = {10.1007/978-3-031-36978-0\_13},
timestamp = {Sat, 05 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/Georgiev23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/HiroshimaK23,
author = {Keita Hiroshima and
Akitoshi Kawamura},
editor = {Gianluca Della Vedova and
Besik Dundua and
Steffen Lempp and
Florin Manea},
title = {Elementarily Traceable Irrational Numbers},
booktitle = {Unity of Logic and Computation - 19th Conference on Computability
in Europe, CiE 2023, Batumi, Georgia, July 24-28, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13967},
pages = {135--140},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-36978-0\_11},
doi = {10.1007/978-3-031-36978-0\_11},
timestamp = {Wed, 26 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/HiroshimaK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/KiharaP23,
author = {Takayuki Kihara and
Arno Pauly},
editor = {Gianluca Della Vedova and
Besik Dundua and
Steffen Lempp and
Florin Manea},
title = {De Groot Duality for Represented Spaces},
booktitle = {Unity of Logic and Computation - 19th Conference on Computability
in Europe, CiE 2023, Batumi, Georgia, July 24-28, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13967},
pages = {89--101},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-36978-0\_8},
doi = {10.1007/978-3-031-36978-0\_8},
timestamp = {Wed, 26 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/KiharaP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Miller23,
author = {Russell G. Miller},
editor = {Gianluca Della Vedova and
Besik Dundua and
Steffen Lempp and
Florin Manea},
title = {Direct Construction of Scott Ideals},
booktitle = {Unity of Logic and Computation - 19th Conference on Computability
in Europe, CiE 2023, Batumi, Georgia, July 24-28, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13967},
pages = {23--34},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-36978-0\_3},
doi = {10.1007/978-3-031-36978-0\_3},
timestamp = {Wed, 26 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/Miller23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Milovanov23,
author = {Alexey Milovanov},
editor = {Gianluca Della Vedova and
Besik Dundua and
Steffen Lempp and
Florin Manea},
title = {Some Games on Turing Machines and Power from Random Strings},
booktitle = {Unity of Logic and Computation - 19th Conference on Computability
in Europe, CiE 2023, Batumi, Georgia, July 24-28, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13967},
pages = {105--119},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-36978-0\_9},
doi = {10.1007/978-3-031-36978-0\_9},
timestamp = {Sat, 05 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/Milovanov23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/MusatovP23,
author = {Daniil Musatov and
Georgii Potapov},
editor = {Gianluca Della Vedova and
Besik Dundua and
Steffen Lempp and
Florin Manea},
title = {Structural Complexity of Rational Interactive Proofs},
booktitle = {Unity of Logic and Computation - 19th Conference on Computability
in Europe, CiE 2023, Batumi, Georgia, July 24-28, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13967},
pages = {231--245},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-36978-0\_19},
doi = {10.1007/978-3-031-36978-0\_19},
timestamp = {Fri, 18 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/MusatovP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Nutov23,
author = {Zeev Nutov},
editor = {Gianluca Della Vedova and
Besik Dundua and
Steffen Lempp and
Florin Manea},
title = {An {\textdollar}O({\textbackslash}sqrt\{k\}){\textdollar}-Approximation
Algorithm for Minimum Power k Edge Disjoint st-Paths},
booktitle = {Unity of Logic and Computation - 19th Conference on Computability
in Europe, CiE 2023, Batumi, Georgia, July 24-28, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13967},
pages = {287--296},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-36978-0\_23},
doi = {10.1007/978-3-031-36978-0\_23},
timestamp = {Sat, 05 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/Nutov23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/OrekhovskiiS23,
author = {Vladislav Orekhovskii and
Victor L. Selivanov},
editor = {Gianluca Della Vedova and
Besik Dundua and
Steffen Lempp and
Florin Manea},
title = {Logic vs Topology on Regular {\o}mega-languages},
booktitle = {Unity of Logic and Computation - 19th Conference on Computability
in Europe, CiE 2023, Batumi, Georgia, July 24-28, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13967},
pages = {141--153},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-36978-0\_12},
doi = {10.1007/978-3-031-36978-0\_12},
timestamp = {Sat, 05 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/OrekhovskiiS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/ParysW23,
author = {Pawel Parys and
Aleksander Wiacek},
editor = {Gianluca Della Vedova and
Besik Dundua and
Steffen Lempp and
Florin Manea},
title = {Improved Complexity Analysis of Quasi-Polynomial Algorithms Solving
Parity Games},
booktitle = {Unity of Logic and Computation - 19th Conference on Computability
in Europe, CiE 2023, Batumi, Georgia, July 24-28, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13967},
pages = {275--286},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-36978-0\_22},
doi = {10.1007/978-3-031-36978-0\_22},
timestamp = {Sat, 05 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/ParysW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/PerrotinS23,
author = {Pac{\^{o}}me Perrotin and
Sylvain Sen{\'{e}}},
editor = {Gianluca Della Vedova and
Besik Dundua and
Steffen Lempp and
Florin Manea},
title = {Turning Block-Sequential Automata Networks into Smaller Parallel Networks
with Isomorphic Limit Dynamics},
booktitle = {Unity of Logic and Computation - 19th Conference on Computability
in Europe, CiE 2023, Batumi, Georgia, July 24-28, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13967},
pages = {214--228},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-36978-0\_18},
doi = {10.1007/978-3-031-36978-0\_18},
timestamp = {Wed, 26 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/PerrotinS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Ruangwises23,
author = {Suthee Ruangwises},
editor = {Gianluca Della Vedova and
Besik Dundua and
Steffen Lempp and
Florin Manea},
title = {Physical Zero-Knowledge Proof for Ball Sort Puzzle},
booktitle = {Unity of Logic and Computation - 19th Conference on Computability
in Europe, CiE 2023, Batumi, Georgia, July 24-28, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13967},
pages = {246--257},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-36978-0\_20},
doi = {10.1007/978-3-031-36978-0\_20},
timestamp = {Sat, 05 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/Ruangwises23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Sanders23,
author = {Sam Sanders},
editor = {Gianluca Della Vedova and
Besik Dundua and
Steffen Lempp and
Florin Manea},
title = {The Non-normal Abyss in Kleene's Computability Theory},
booktitle = {Unity of Logic and Computation - 19th Conference on Computability
in Europe, CiE 2023, Batumi, Georgia, July 24-28, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13967},
pages = {37--49},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-36978-0\_4},
doi = {10.1007/978-3-031-36978-0\_4},
timestamp = {Wed, 26 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/Sanders23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Selivanov23,
author = {Victor L. Selivanov},
editor = {Gianluca Della Vedova and
Besik Dundua and
Steffen Lempp and
Florin Manea},
title = {Extending Wagner's Hierarchy to Deterministic Visibly Pushdown Automata},
booktitle = {Unity of Logic and Computation - 19th Conference on Computability
in Europe, CiE 2023, Batumi, Georgia, July 24-28, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13967},
pages = {190--201},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-36978-0\_16},
doi = {10.1007/978-3-031-36978-0\_16},
timestamp = {Sat, 05 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/Selivanov23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Shen23,
author = {Alexander Shen},
editor = {Gianluca Della Vedova and
Besik Dundua and
Steffen Lempp and
Florin Manea},
title = {Inequalities for Entropies and Dimensions},
booktitle = {Unity of Logic and Computation - 19th Conference on Computability
in Europe, CiE 2023, Batumi, Georgia, July 24-28, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13967},
pages = {120--131},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-36978-0\_10},
doi = {10.1007/978-3-031-36978-0\_10},
timestamp = {Sat, 05 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/Shen23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Soskova23,
author = {Mariya Ivanova Soskova},
editor = {Gianluca Della Vedova and
Besik Dundua and
Steffen Lempp and
Florin Manea},
title = {The Relationship Between Local and Global Structure in the Enumeration
Degrees},
booktitle = {Unity of Logic and Computation - 19th Conference on Computability
in Europe, CiE 2023, Batumi, Georgia, July 24-28, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13967},
pages = {17--22},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-36978-0\_2},
doi = {10.1007/978-3-031-36978-0\_2},
timestamp = {Sat, 05 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/Soskova23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/TranW23,
author = {Hong Hanh Tran and
Guohua Wu},
editor = {Gianluca Della Vedova and
Besik Dundua and
Steffen Lempp and
Florin Manea},
title = {Cupping Computably Enumerable Degrees Simultaneously},
booktitle = {Unity of Logic and Computation - 19th Conference on Computability
in Europe, CiE 2023, Batumi, Georgia, July 24-28, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13967},
pages = {3--16},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-36978-0\_1},
doi = {10.1007/978-3-031-36978-0\_1},
timestamp = {Wed, 26 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/TranW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cie/2023,
editor = {Gianluca Della Vedova and
Besik Dundua and
Steffen Lempp and
Florin Manea},
title = {Unity of Logic and Computation - 19th Conference on Computability
in Europe, CiE 2023, Batumi, Georgia, July 24-28, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13967},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-36978-0},
doi = {10.1007/978-3-031-36978-0},
isbn = {978-3-031-36977-3},
timestamp = {Wed, 26 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-05-12 15:51 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
