Unity of Logic and Computation. 19th Conference on Computability in Europe, CiE 2023 Batumi, Georgia, July 24–28, 2023 Proceedings
Book information
Similar books
Beyond the Horizon of Computability: 16th Conference on Computability in Europe, CiE 2020, Fisciano, Italy, June 29–July 3, 2020, Proceedings
2020 · PDF
Handbook of Formal Analysis and Verification in Cryptography
2024 · PDF
Computing with Foresight and Industry: 15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15–19, 2019, Proceedings
2019 · PDF
Sailing Routes in the World of Computation
2018 · PDF
Unveiling Dynamics and Complexity: 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings
2017 · PDF
Descriptional Complexity of Formal Systems: 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings
2016 · PDF
Combinatorics on Words: 10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, Proceedings
2015 · PDF
Algorithms in Bioinformatics: 9th International Workshop, WABI 2009, Philadelphia, PA, USA, September 12-13, 2009. Proceedings
2009 · PDF