Skip to content
NovaLib
  • Sample Page
  • library
NovaLib
  • Sample Page
Library / Unity of Logic and Computation. 19th Conference on Computability in Europe, CiE 2023 Batumi, Georgia, July 24–28, 2023 Proceedings

File hashes

MD5
6527377fccf1396a2cfbc17a4a3b58be
SHA1
abae55e794ffff604db0296ce0a3f72cf72b0746
SHA256
eab45b24baca6c181ab74529efeb95be e4ea241e1189a0ccffe5ac99fda3cd6e
AICH
P7VMPCTFPWAIJW6JRRFUAZO4W5VYKTF4
CRC32
76640d14
eDonkey
d88407181c76cf22d20acd463515089e
TTH
PYADQ56PXL32JH7VFXCJAOOK6JOQKW4BH2JEZOY

Available files

  • PDF

Download Link

Direct link IPFS Cloudflare Pinata
ENGLISH

Unity of Logic and Computation. 19th Conference on Computability in Europe, CiE 2023 Batumi, Georgia, July 24–28, 2023 Proceedings

By Gianluca Della Vedova , Florin Manea , Besik Dundua , Steffen Lempp

Book information

Publisher
Springer
Year
2023
ISBN
9783031369773, 9783031369780
Language
english
Format
PDF
Filesize
5 MB (5677929 bytes)
Series
Lecture Notes in Computer Science, 13967
Pages
\327
Time added
2023-11-17 17:58:23

Similar books

Beyond the Horizon of Computability: 16th Conference on Computability in Europe, CiE 2020, Fisciano, Italy, June 29–July 3, 2020, Proceedings

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

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

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

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

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

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

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

Algorithms in Bioinformatics: 9th International Workshop, WABI 2009, Philadelphia, PA, USA, September 12-13, 2009. Proceedings

2009 · PDF

Copyright © 2026 NovaLib | Powered by Astra WordPress Theme