Twenty Years of Theoretical and Practical Synergies (Record no. 61276)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 05696nam a22005295i 4500 |
| 001 - CONTROL NUMBER | |
| control field | 978-3-031-64309-5 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | DE-He213 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20251030112609.0 |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION | |
| fixed length control field | cr nn 008mamaa |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 240702s2024 sz | s |||| 0|eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9783031643095 |
| -- | 978-3-031-64309-5 |
| 024 7# - OTHER STANDARD IDENTIFIER | |
| Standard number or code | 10.1007/978-3-031-64309-5 |
| Source of number or code | doi |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER | |
| Classification number | QA76.9.A43 |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | UMB |
| Source | bicssc |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | COM051300 |
| Source | bisacsh |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | UMB |
| Source | thema |
| 245 10 - TITLE STATEMENT | |
| Title | Twenty Years of Theoretical and Practical Synergies |
| Medium | [electronic resource] : |
| Remainder of title | 20th Conference on Computability in Europe, CiE 2024, Amsterdam, The Netherlands, July 8–12, 2024, Proceedings / |
| Statement of responsibility, etc. | edited by Ludovic Levy Patey, Elaine Pimentel, Lorenzo Galeotti, Florin Manea. |
| 250 ## - EDITION STATEMENT | |
| Edition statement | 1st ed. 2024. |
| 264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE | |
| Place of production, publication, distribution, manufacture | Cham : |
| Name of producer, publisher, distributor, manufacturer | Springer Nature Switzerland : |
| -- | Imprint: Springer, |
| Date of production, publication, distribution, manufacture, or copyright notice | 2024. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | XXXIX, 462 p. 31 illus., 10 illus. in color. |
| Other physical details | online resource. |
| 336 ## - CONTENT TYPE | |
| Content type term | text |
| Content type code | txt |
| Source | rdacontent |
| 337 ## - MEDIA TYPE | |
| Media type term | computer |
| Media type code | c |
| Source | rdamedia |
| 338 ## - CARRIER TYPE | |
| Carrier type term | online resource |
| Carrier type code | cr |
| Source | rdacarrier |
| 347 ## - DIGITAL FILE CHARACTERISTICS | |
| File type | text file |
| Encoding format | |
| Source | rda |
| 490 1# - SERIES STATEMENT | |
| Series statement | Lecture Notes in Computer Science, |
| International Standard Serial Number | 1611-3349 ; |
| Volume/sequential designation | 14773 |
| 505 0# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | -- Invited abstracts. -- Special Session: Computing Knowledge: Computational Aspects of Epistemic Logics (HaPoC). -- The theory of enumeration degrees and its fragments. -- Further extensions of the point to set principle. -- Uniform distribution and algorithmic randomness. -- Computable aspects of symbolic dynamics and tilings. -- How much pattern complexity can help us solve the domino problem ?. -- Sufficient conditions for non-emptiness of a subshift and computability of its entropy. -- Reasoning about (Negative) Trust under Uncertainty. -- Quantum computating from reversible classical computing. -- Complexity of well-ordered sets in an ordered Abelian group. -- Invited papers. -- If CiE Did not Exist, It Would be Necessary to Invent It. -- Some Open Questions and Recent Results on Computable Banach Spaces. -- Kolmogorov complexity as a combinatorial tool. -- Cellular Automata: Communication Matters. -- Membership problems in infinite groups. -- Communication Modalities. -- Algorithmic aspects of left-orderings of solvable Baumslag–Solitar groups via its dynamical realization. -- Hybrid Maximal Filter Spaces. -- Inversion in P-computable fields. -- Regular papers. -- On the computational properties of weak continuity notions. -- On Arithmetical Numberings in Reverse Mathematics. -- Two-player Domino games. -- Almost sure OTM-realizability. -- Learning Families of Algebraic Structures from Text. -- Structures of Finite Punctual Dimension n>2. -- Counting Simple Rules in Semi-Conditional Grammars Is Not Simple. -- Universal Boolean algebras with applications to semantic classes of models. -- Existential Definability of Unary Predicates in Büchi Arithmetic. -- Graph Homomorphism, Monotone Classes and Bounded Pathwidth. -- Recursion-Theoretic Alternation. -- Computable structure theory of partial combinatory algebras. -- Hyperarithmetic Numerals. -- Lipschitz determinacy and Arithmetic Transfinite Recursion. -- Higher-order feedback computation. -- Quantum First-Order Logics That Capture Logarithmic-Time/Space Quantum Computability. -- Fundamental Sequences based on Localization. -- The weakness of finding descending sequences in ill-founded linear orders. -- Sequential Discontinuity and First-Order Problems. -- Complexities of Theories of Profinite Subgroups of $S_\omega$ via Tree Presentations. -- The theory of Hilbert's Basis Theorem for multivariate polynomials over rings. -- A Weak First-Order Theory of Sequences. -- On the group of computable automorphisms of the linear order of the reals. -- A diamond embedding theorem in the quotient structure ${\bf R}/\Ncup$. -- The Decision Problem for Undirected Graphs with Reachability and Acyclicity. -- Isometric Sets of Words and Generalizations of the Fibonacci Cubes. |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc. | This book constitutes the refereed proceedings of the 20th Conference on Computabilitty in Europe, CiE 2024, held in Amsterdam, The Netherlands, during July 8–12, 2024 The 26 full papers and 2 short papers included in this book were carefully reviewed and selected from 43 submissions. This CIE 2024 focus on development of computability-related science, ranging over mathematics, computer science and applications in various natural and engineering sciences. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | |
| 9 (RLIN) | 58677 |
| 650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | |
| 9 (RLIN) | 58677 |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Levy Patey, Ludovic. |
| Relator term | editor. |
| Authority record control number | (orcid)0000-0002-0304-7926 |
| -- | https://orcid.org/0000-0002-0304-7926 |
| Relator code | edt |
| -- | http://id.loc.gov/vocabulary/relators/edt |
| 9 (RLIN) | 79889 |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Pimentel, Elaine. |
| Relator term | editor. |
| Authority record control number | (orcid)0000-0002-7113-0801 |
| -- | https://orcid.org/0000-0002-7113-0801 |
| Relator code | edt |
| -- | http://id.loc.gov/vocabulary/relators/edt |
| 9 (RLIN) | 79890 |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Galeotti, Lorenzo. |
| Relator term | editor. |
| Relator code | edt |
| -- | http://id.loc.gov/vocabulary/relators/edt |
| 9 (RLIN) | 79891 |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Manea, Florin. |
| Relator term | editor. |
| Authority record control number | (orcid)0000-0001-6094-3324 |
| -- | https://orcid.org/0000-0001-6094-3324 |
| Relator code | edt |
| -- | http://id.loc.gov/vocabulary/relators/edt |
| 9 (RLIN) | 34710 |
| 710 2# - ADDED ENTRY--CORPORATE NAME | |
| Corporate name or jurisdiction name as entry element | SpringerLink (Online service) |
| 773 0# - HOST ITEM ENTRY | |
| Title | Springer Nature eBook |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
| Relationship information | Printed edition: |
| International Standard Book Number | 9783031643088 |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
| Relationship information | Printed edition: |
| International Standard Book Number | 9783031643101 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
| Uniform title | Lecture Notes in Computer Science, |
| International Standard Serial Number | 1611-3349 ; |
| Volume number/sequential designation | 14773 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | <a href="https://doi.org/10.1007/978-3-031-64309-5">https://doi.org/10.1007/978-3-031-64309-5</a> |
| 912 ## - | |
| -- | ZDB-2-SCS |
| 912 ## - | |
| -- | ZDB-2-SXCS |
| 912 ## - | |
| -- | ZDB-2-LNC |
No items available.