LEADER 03479nam  22006015  450 
001 9910488705603321
005 20230330065527.0
010   $a3-030-79121-1
024 7 $a10.1007/978-3-030-79121-6
035   $a(CKB)5590000000516184
035   $a(MiAaPQ)EBC6676437
035   $a(Au-PeEL)EBL6676437
035   $a(DE-He213)978-3-030-79121-6
035   $a(PPN)257358722
035   $a(EXLCZ)995590000000516184
100   $a20210622d2021      u|         0
101 0 $aeng
135   $aurcnu||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aImplementation and Application of Automata $e25th International Conference, CIAA 2021, Virtual Event, July 19-22, 2021, Proceedings /$fedited by Sebastian Maneth
205   $a1st ed. 2021.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2021.
215   $a1 online resource (202 pages)
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v12803
311   $a3-030-79120-3 
327   $aPolyregular Functions -- Back to the Future: A Fresh Look at Linear Temporal Logic -- Say No to Case Analysis: Automating the Drudgery of Case-Based Proofs 15 Jeffrey Shallit Technical Contributions Regularity Conditions for Iterated Shuffle on Commutative Regular Languages -- Memoized Regular Expressions -- The Commutative Closure of Shuffle Languages over Group Languages is Regular -- Efficient Enumeration of Regular Expressions for Faster Regular Expression Synthesis -- Degrees of Restriction for Two-Dimensional Automata -- The Range of State Complexities of Languages Resulting from the Cascade Product?The Unary Case (Extended Abstract)  -- Guessing the Buffer Bound for k-Synchronizability -- The Commutative Closure of Shuffle Languages over Group Languages is Regular -- Organization IX Algorithms for Probabilistic and Stochastic Subsequential Failure Transducers -- Ambiguity Hierarchies for Weighted Tree Automata -- Boolean Kernels of Context-Free Languages -- Efficient String Matching Based on a Two-Step Simulation of the Suffix Automaton -- Approximate Hashing for Bioinformatics.
330   $aThis book constitutes the proceedings of the 25th International Conference on Implementation and Application of Automata, CIAA 2021, held in July 2021. Due to Covid-19 pandemic the conference was held virtually. The 13 regular papers presented in this book were carefully reviewed and selected from 20 submissions. The topics of the papers cover various fields in the application, implementation, and theory of automata and related structures.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v12803
606   $aComputer science
606   $aComputer engineering
606   $aComputer networks
606   $aLogic programming
606   $aTheory of Computation
606   $aComputer Engineering and Networks
606   $aLogic in AI
615  0$aComputer science.
615  0$aComputer engineering.
615  0$aComputer networks.
615  0$aLogic programming.
615 14$aTheory of Computation.
615 24$aComputer Engineering and Networks.
615 24$aLogic in AI.
676   $a511.3
702   $aManeth$b Sebastian
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910488705603321
996   $aImplementation and Application of Automata$93552118
997   $aUNINA