Fundamentals of Computation Theory

24th International Symposium, FCT 2023, Trier, Germany, September 18–21, 2023, Proceedings

AvHenning Fernau,Klaus Jansen

Häftad, Engelska, 2023

Del 14292 i serien Lecture Notes in Computer Science

911 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Fler format och utgåvor

556 kr

1 024 kr

842 kr

572 kr

555 kr

555 kr

538 kr

555 kr

571 kr

571 kr

Beskrivning

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.

Produktinformation

Utgivningsdatum:2023-09-22
Mått:155 x 235 x 25 mm
Vikt:686 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:438
Upplaga:23001
Förlag:Springer International Publishing AG
ISBN:9783031435867

Utforska kategorier

Innehållsförteckning

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.

Mer från samma författare

Del 12159

Computer Science – Theory and Applications

Henning Fernau

Häftad, 2020

555 kr

Computer Science - Theory and Applications

Henning Fernau

E-bok

2020

710 kr

Del 13270

Combinatorial Algorithms

Cristina Bazgan, Henning Fernau

Häftad, 2022

994 kr

Combinatorial Algorithms

Henning Fernau, Cristina Bazgan

E-bok

2022

1 255 kr

Fundamentals of Computation Theory

Klaus Jansen, Henning Fernau

E-bok

2023

1 150 kr

SOFSEM 2024: Theory and Practice of Computer Science

Henning Fernau, Serge Gaspers, Ralf Klasing

Häftad, 2024

884 kr

SOFSEM 2024: Theory and Practice of Computer Science

Ralf Klasing, Serge Gaspers, Henning Fernau

E-bok

2024

1 116 kr

Del 15229

Creative Mathematical Sciences Communication

Henning Fernau, Inge Schwank, Jacqueline Staub

Häftad, 2024

593 kr

Creative Mathematical Sciences Communication

Jacqueline Staub, Inge Schwank, Henning Fernau

E-bok

2024

775 kr

Del 15885

Combinatorial Algorithms

Henning Fernau, Binhai Zhu

Häftad, 2025

1 761 kr

Mer från samma serie

Multiobjective Optimization

Jürgen Branke, Kalyanmoy Deb, Kaisa Miettinen, Roman Slowiński

Häftad, 2008

555 kr

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang - Knowledge Graphs, Häftad

Del 16297

Knowledge Graphs

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang

Häftad, 2026

933 kr

Agent Mediated Electronic Commerce II

Alexandros Moukas, Carles Sierra, Fredrik Ygge

Häftad, 2000

572 kr

Del 16096

Energy Informatics

Ivo Martinac, Bo Nørregaard Jørgensen, Zheng Grace Ma, Rúnar Unnþórsson, Chiara Bordin

Häftad, 2025

842 kr

Alejandro Jiménez Rodríguez, Rafael Mestre, Chaona Chen, Anna Mura, Edmund Barker, Paul Verschure, Tony Prescott - Biomimetic and Biohybrid Systems, Häftad

Del 15582

Biomimetic and Biohybrid Systems

Alejandro Jiménez Rodríguez, Rafael Mestre, Chaona Chen, Anna Mura, Edmund Barker, Paul Verschure, Tony Prescott

Häftad, 2025

1 022 kr

Extended Reality

Lucio Tommaso De Paolis, Pasquale Arpaia, Marco Sacco

Häftad, 2026

1 164 kr

Reliable Software Technologies - Ada-Europe '98

Lars Asplund

Häftad, 1998

572 kr

Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson - Advanced Parallel Processing Technologies, Häftad

Nyhet

Del 16693

Advanced Parallel Processing Technologies

Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson

Häftad, 2026

1 024 kr

Del 16832

Progress in Cryptology - AFRICACRYPT 2026

Nadia El Mrabet, Loubna Ghammam, Francisco Rodríguez-Henríquez

Häftad, 2026

933 kr

David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek - Electronic Participation, Häftad

Nyhet

Electronic Participation

David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek

Häftad, 2026

730 kr

Du kanske också är intresserad av

10% rabatt på allt

Exit Adventskalender - Julens magi (SE)

Exit

499 kr

Del 14292

Mittelhochdeutsche Sangsprüche. Mittelhochdeutsch/Neuhochdeutsch

Norbert Kössinger, Nina Nowakowski

Häftad, 2024

122 kr

Fundamentals of Computation Theory

Klaus Jansen, Henning Fernau

E-bok

2023

1 150 kr

Fundamentals of Computation Theory

Lothar Budach, Rais G. Bukharajev, Oleg B. Lupanov

Häftad, 1987

555 kr

Fundamentals of Computation Theory

Zoltan Esik

Häftad, 1993

572 kr

Del 12867

Fundamentals of Computation Theory

Evripidis Bampis, Aris Pagourtzis

Häftad, 2021

1 024 kr

Fundamentals of Computation Theory

Leszek Gąsieniec, Frank Wolter

Häftad, 2013

555 kr

Fundamentals of Computation Theory

Horst Reichel

Häftad, 1995

572 kr

Fundamentals of Computation Theory

Andrzej Lingas, Bengt J. Nilsson

Häftad, 2003

571 kr

Del 9210

Fundamentals of Computation Theory

Adrian Kosowski, Igor Walukiewicz

Häftad, 2015

572 kr

Fundamentals of Computation Theory

24th International Symposium, FCT 2023, Trier, Germany, September 18–21, 2023, Proceedings

AvHenning Fernau,Klaus Jansen

Häftad, Engelska, 2023

Del 14292 i serien Lecture Notes in Computer Science

911 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Fler format och utgåvor

556 kr

1 024 kr

842 kr

572 kr

555 kr

555 kr

538 kr

555 kr

571 kr

571 kr

Beskrivning

Produktinformation

Utgivningsdatum:2023-09-22
Mått:155 x 235 x 25 mm
Vikt:686 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:438
Upplaga:23001
Förlag:Springer International Publishing AG
ISBN:9783031435867

Utforska kategorier

Innehållsförteckning

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.

Mer från samma författare

Del 12159

Computer Science – Theory and Applications

Henning Fernau

Häftad, 2020

555 kr

Computer Science - Theory and Applications

Henning Fernau

E-bok

2020

710 kr

Del 13270

Combinatorial Algorithms

Cristina Bazgan, Henning Fernau

Häftad, 2022

994 kr

Combinatorial Algorithms

Henning Fernau, Cristina Bazgan

E-bok

2022

1 255 kr

Fundamentals of Computation Theory

Klaus Jansen, Henning Fernau

E-bok

2023

1 150 kr

SOFSEM 2024: Theory and Practice of Computer Science

Henning Fernau, Serge Gaspers, Ralf Klasing

Häftad, 2024

884 kr

SOFSEM 2024: Theory and Practice of Computer Science

Ralf Klasing, Serge Gaspers, Henning Fernau

E-bok

2024

1 116 kr

Del 15229

Creative Mathematical Sciences Communication

Henning Fernau, Inge Schwank, Jacqueline Staub

Häftad, 2024

593 kr

Creative Mathematical Sciences Communication

Jacqueline Staub, Inge Schwank, Henning Fernau

E-bok

2024

775 kr

Del 15885

Combinatorial Algorithms

Henning Fernau, Binhai Zhu

Häftad, 2025

1 761 kr

Mer från samma serie

Multiobjective Optimization

Jürgen Branke, Kalyanmoy Deb, Kaisa Miettinen, Roman Slowiński

Häftad, 2008

555 kr

Del 16297

Knowledge Graphs

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang

Häftad, 2026

933 kr

Agent Mediated Electronic Commerce II

Alexandros Moukas, Carles Sierra, Fredrik Ygge

Häftad, 2000

572 kr

Del 16096

Energy Informatics

Ivo Martinac, Bo Nørregaard Jørgensen, Zheng Grace Ma, Rúnar Unnþórsson, Chiara Bordin

Häftad, 2025

842 kr

Del 15582

Biomimetic and Biohybrid Systems

Alejandro Jiménez Rodríguez, Rafael Mestre, Chaona Chen, Anna Mura, Edmund Barker, Paul Verschure, Tony Prescott

Häftad, 2025

1 022 kr

Extended Reality

Lucio Tommaso De Paolis, Pasquale Arpaia, Marco Sacco

Häftad, 2026

1 164 kr

Reliable Software Technologies - Ada-Europe '98

Lars Asplund

Häftad, 1998

572 kr

Nyhet

Del 16693

Advanced Parallel Processing Technologies

Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson

Häftad, 2026

1 024 kr

Del 16832

Progress in Cryptology - AFRICACRYPT 2026

Nadia El Mrabet, Loubna Ghammam, Francisco Rodríguez-Henríquez

Häftad, 2026

933 kr

Nyhet

Electronic Participation

David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek

Häftad, 2026

730 kr