Unity of Logic and Computation: 19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24–28, 2023, Proceedings (Lecture Notes in Computer Science, Band 13967) - Softcover

 
9783031369773: Unity of Logic and Computation: 19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24–28, 2023, Proceedings (Lecture Notes in Computer Science, Band 13967)
Softcover
ISBN 10: 3031369777 ISBN 13: 9783031369773
Verlag: Springer, 2023

Inhaltsangabe

This 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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2023
Sprache
Englisch
ISBN 10 
3031369777
ISBN 13 
9783031369773
Einband
Taschenbuch
Auflage
1
Anzahl der Seiten
352
Herausgeber
Della Vedova Gianluca, Dundua Besik, Lempp Steffen, Manea Florin
Kontakt zum Hersteller
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3
Heidelberg
69115
Deutschland