Fundamentals of Computation Theory 24th International Symposium, FCT 2023, Trier, Germany, September 18–21, 2023, Proceedings /
This book constitutes the proceedings of the 24th International Symposium on Fundamentals of Computation Theory, FCT 2023, held in Trier, Germany, in September 2023. The 30 full papers included in this volume were carefully reviewed and selected from 79 submissions. The papers cover topics of all as...
Збережено в:
| Співавтор: | |
|---|---|
| Інші автори: | , |
| Формат: | Електронний ресурс eКнига |
| Мова: | Англійська |
| Опубліковано: |
Cham :
Springer Nature Switzerland : Imprint: Springer,
2023.
|
| Редагування: | 1st ed. 2023. |
| Серія: | Lecture Notes in Computer Science,
14292 |
| Предмети: | |
| Онлайн доступ: | https://doi.org/10.1007/978-3-031-43587-4 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
MARC
| LEADER | 00000nam a22000005i 4500 | ||
|---|---|---|---|
| 001 | 978-3-031-43587-4 | ||
| 003 | DE-He213 | ||
| 005 | 20260810160802.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 230921s2023 sz | o |||| 0|eng d | ||
| 020 | |a 9783031435874 |9 978-3-031-43587-4 | ||
| 024 | 7 | |a 10.1007/978-3-031-43587-4 |2 doi | |
| 050 | 4 | |a QA9.58 | |
| 072 | 7 | |a UYA |2 bicssc | |
| 072 | 7 | |a COM014000 |2 bisacsh | |
| 072 | 7 | |a UYA |2 thema | |
| 082 | 0 | 4 | |a 005.13 |2 23 |
| 245 | 1 | 0 | |a Fundamentals of Computation Theory |h [electronic resource] : |b 24th International Symposium, FCT 2023, Trier, Germany, September 18–21, 2023, Proceedings / |c edited by Henning Fernau, Klaus Jansen. |
| 250 | |a 1st ed. 2023. | ||
| 264 | 1 | |a Cham : |b Springer Nature Switzerland : |b Imprint: Springer, |c 2023. | |
| 300 | |a 1 online resource (XIII, 438 p. 111 illus.). |b 46 illus. in color. | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 347 | |a text file |b PDF |2 rda | ||
| 490 | 1 | |a Lecture Notes in Computer Science, |x 1611-3349 ; |v 14292 | |
| 505 | 0 | |a Convergence of distributions on paths -- Subtree Projection for Stepwise Hedge Automata -- The rectilinear convex hull of line segments -- Domino Snake Problems on Groups -- Parsing Unranked Tree Languages, Folded Once -- The Impact of State Merging on Predictive Accuracy in Probabilistic Tree Automata: Dietze's Conjecture Revisited -- Computing Subset Vertex Covers in H-Free Graphs -- On Computing Optimal Temporal Branchings -- Contracting edges to destroy a pattern: A complexity study -- Distance-based covering problems for graphs of given cyclomatic number -- An efficient computation of the rank function of a positroid -- Minimizing Query Frequency to Bound Congestion Potential for Moving Entities at a Fixed Target Time -- Complexity of Conformant Election Manipulation -- α-β-Factorization and the Binary Case of Simon’s Congruence -- Bounds for c-Ideal Hashing -- Parameterized Complexity of $\mathcal{T}_{h+1}$-Free Edge Deletion Problem -- On the Parallel Complexity of Group Isomorphism via Weisfeiler--Leman -- The Complexity of $(P_k, P_\ell)$-Arrowing -- On Computing a Center Persistence Diagram -- Robust Identification in the Limit from Incomplete Positive Data -- Cordial Forests -- Vertex ordering with precedence constraints -- Forwards- and Backwards-Reachability for Cooperating Multi-Pushdown Systems -- Shortest Dominating Set Reconfiguration under Token Sliding -- Computing Optimal Leaf Roots of Chordal Cographs in Linear Time -- Verified Exact Real Computation with Nondeterministic Functions and Limits -- Exact and Parameterized Algorithms for the Independent Cutset Problem -- Kernelization for Finding Lineal Topologies (Depth-First Spanning Trees) with Many or Few Leaves -- Two UNO Decks Efficiently Perform Zero-Knowledge Proof for Sudoku -- Power of Counting by Nonuniform Families of Polynomial-Size Finite Automata. | |
| 520 | |a This book constitutes the proceedings of the 24th International Symposium on Fundamentals of Computation Theory, FCT 2023, held in Trier, Germany, in September 2023. The 30 full papers included in this volume were carefully reviewed and selected from 79 submissions. The papers cover topics of all aspects of theoretical computer science, in particular Fundamentals of Computation Theory, Approximation Algorithms, Computable Analysis and much more. | ||
| 588 | |a Print version record. | ||
| 650 | 0 | |a Algorithms. | |
| 650 | 0 | |a Data structures (Computer science). | |
| 650 | 0 | |a Information theory. | |
| 650 | 0 | |a Computer science |x Mathematics. | |
| 650 | 0 | |a Image processing |x Digital techniques. | |
| 650 | 0 | |a Computer vision. | |
| 650 | 1 | 4 | |a Design and Analysis of Algorithms. |
| 650 | 2 | 4 | |a Data Structures and Information Theory. |
| 650 | 2 | 4 | |a Mathematics of Computing. |
| 650 | 2 | 4 | |a Computer Imaging, Vision, Pattern Recognition and Graphics. |
| 700 | 1 | |a Fernau, Henning. |e editor. |0 (orcid)0000-0002-4444-3220 |1 https://orcid.org/0000-0002-4444-3220 |4 edt |4 http://id.loc.gov/vocabulary/relators/edt | |
| 700 | 1 | |a Jansen, Klaus. |e editor. |4 edt |4 http://id.loc.gov/vocabulary/relators/edt | |
| 710 | 2 | |a SpringerLink (Online service) | |
| 773 | 0 | |t Springer Nature eBook | |
| 776 | 0 | 8 | |i Printed edition: |z 9783031435867 |
| 776 | 0 | 8 | |i Printed edition: |z 9783031435881 |
| 830 | 0 | |a Lecture Notes in Computer Science, |x 1611-3349 ; |v 14292 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-031-43587-4 |
| 912 | |a ZDB-2-SCS | ||
| 912 | |a ZDB-2-SXCS | ||
| 912 | |a ZDB-2-SXPS | ||
| 912 | |a ZDB-2-LNC | ||
| 950 | |a Computer Science (SpringerNature-11645) | ||
| 950 | |a Computer Science (R0) (SpringerNature-43710) | ||
| 950 | |a Springer Nature Proceedings Computer Science (SpringerNature-85344) | ||