000			01463nam a2200289Ia 4500
000			03680nam a22003135i 4500
001			978-3-031-36978-0
003			DE-He213
005			20240319121106.0
007			cr nn 008mamaa
008			230718s2023 sz | s |||| 0|eng d
020			_a9783031369780 _9978-3-031-36978-0
082			_a518.1
245			_aUnity of Logic and Computation _cedited by Gianluca Della Vedova, Besik Dundua, Steffen Lempp, Florin Manea. _h[electronic resource] :
250			_a1st ed. 2023.
260			_aCham _bSpringer Nature Switzerland _c2023
300			_aLI, 297 p. 32 illus., 11 illus. in color. _bonline resource.
520			_aThis book constitutes the refereed proceedings of the 19th International Conference on Unity of Logic and Computation, CiE 2023, held in Batumi, Georgia, during July 24-28, 2023. The 23 full papers and 13 invited papers included in this book were carefully reviewed and selected from 51 submissions. They were organized in topical sections as follows: Degree theory; Proof Theory; Computability; Algorithmic Randomness; Computational Complexity; Interactive proofs; and Combinatorial approaches.
650			_aAlgorithms. _937787
650			_aAlgorithms. _937787
700			_aDella Vedova, Gianluca. _937788
700			_aDundua, Besik. _937789
700			_aLempp, Steffen. _937790
700			_aManea, Florin. _937791
856			_uhttps://doi.org/10.1007/978-3-031-36978-0
942			_cEBK _2ddc
999			_c15741 _d15741