Unity of logic and computation :: 19th Conference on Computability in Europe, CIE 2023, Batumi, Georgia, July 24-28, 2023, proceedings /: Gianluca Della Vedova, Besik Dundua, Steffen Lempp, Florin Manea, editors.

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

doi:10.1007/978-3-031-36978-0

Unity of logic and computation : 19th Conference on Computability in Europe, CIE 2023, Batumi, Georgia, July 24-28, 2023, proceedings / Gianluca Della Vedova, Besik Dundua, Steffen Lempp, Florin Manea, editors.

Conference on Computability in Europe (19th : 2023 : Batumi, Georgia); Della Vedova, Gianluca, editor.; Dundua, Besik, editor.; Lempp, Steffen, 1959- editor.; Manea, Florin, editor.

2023

QA9.59

Available Online

Formats

Format
BibTeX
MARCXML
TextMARC
MARC
DublinCore
EndNote
NLM
RefWorks
RIS

Add to Basket

Cite

Linked e-resources

Linked Resource

Online Access

Concurrent users

Unlimited

Authorized users

Document Delivery Supplied

Can lend chapters, not whole ebooks

Details

Title

Unity of logic and computation : 19th Conference on Computability in Europe, CIE 2023, Batumi, Georgia, July 24-28, 2023, proceedings / Gianluca Della Vedova, Besik Dundua, Steffen Lempp, Florin Manea, editors.

Meeting Name

Conference on Computability in Europe (19th : 2023 : Batumi, Georgia)

ISBN

9783031369780 (electronic bk.)
3031369785 (electronic bk.)
9783031369773

DOI

https://doi.org/10.1007/978-3-031-36978-0

Published

Cham : Springer, [2023]

Copyright

Language

English

Description

1 online resource (li, 297 pages) : illustrations (some color).

Item Number

10.1007/978-3-031-36978-0 doi

Call Number

QA9.59

Dewey Decimal Classification

511.3/52

Summary

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.

Note

International conference proceedings.
Includes author index.

Access Note

Access limited to authorized users.

Source of Description

Online resource; title from PDF title page (SpringerLink, viewed July 26, 2023).

Added Author

Della Vedova, Gianluca, editor.
Dundua, Besik, editor.
Lempp, Steffen, 1959- editor.
Manea, Florin, editor.

Series

Lecture notes in computer science ; 13967.

Linked Resources

Online Access