001447159 000__ 03699cam\a2200529Ii\4500
001447159 001__ 1447159
001447159 003__ OCoLC
001447159 005__ 20230310004104.0
001447159 006__ m\\\\\o\\d\\\\\\\\
001447159 007__ cr\un\nnnunnun
001447159 008__ 220602s2022\\\\sz\a\\\\o\\\\\101\0\eng\d
001447159 020__ $$a9783031074691$$q(electronic bk.)
001447159 020__ $$a3031074696$$q(electronic bk.)
001447159 020__ $$z9783031074684$$q(print)
001447159 0247_ $$a10.1007/978-3-031-07469-1$$2doi
001447159 035__ $$aSP(OCoLC)1322485777
001447159 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dEBLCP$$dOCLCF$$dUKAHL$$dOCLCQ
001447159 049__ $$aISEA
001447159 050_4 $$aQA267$$b.C53 2022eb
001447159 08204 $$a006.3$$223/eng/20220602
001447159 1112_ $$aCIAA (Conference)$$n(26th :$$d2022 :$$cRouen, France)
001447159 24510 $$aImplementation and application of automata :$$b26th International Conference, CIAA 2022, Rouen, France, June 28-July 1, 2022, Proceedings /$$cPascal Caron, Ludovic Mignot (eds.).
001447159 2463_ $$aCIAA 2022
001447159 264_1 $$aCham, Switzerland :$$bSpringer,$$c2022.
001447159 300__ $$a1 online resource (x, 251 pages) :$$billustrations (some color).
001447159 336__ $$atext$$btxt$$2rdacontent
001447159 337__ $$acomputer$$bc$$2rdamedia
001447159 338__ $$aonline resource$$bcr$$2rdacarrier
001447159 4901_ $$aLecture notes in computer science,$$x1611-3349 ;$$v13266
001447159 500__ $$aIncludes author index.
001447159 5050_ $$aOn 25 Years of CIAA Through the Lens of Data Science -- Manipulation of Regular Expressions Using Derivatives: an Overview -- How to Settle the ReDoS Problem: Back to the Classical Automata Theory -- Ordered Context-Free Grammars -- Symbolic Weighted Language Models, Quantitative Parsing and Automated Music Transcription -- A Similarity Measure for Formal Languages Based on Convergent Geometric Series -- Hybrid Tree Automata and the Yield Theorem for Constituent Tree Automata -- Some results concerning careful synchronization of partial automata and subset synchronization of DFA's -- A Toolkit for Parikh Matrices -- Syntax Checking Either Way -- On the Power of Pushing or Stationary Moves for Input-Driven Pushdown Automata -- The Cut Operation in Subclasses of Convex Languages (Extended Abstract) -- Variations of the Separating Words Problem -- Homomorphisms on graph-walking automata -- Nondeterministic State Complexity of Site-Directed Deletion -- Energy Complexity of Regular Language Recognition -- Real-Time, Constant-Space, Constant-Randomness Verifiers -- Constrained Synchronization for Monotonic, Solvable and Automata with Simple Idempotents -- An Ambiguity Hierarchy of Weighted Context-free Grammars.
001447159 506__ $$aAccess limited to authorized users.
001447159 520__ $$aThis book constitutes the proceedings of the 26th International Conference on Implementation and Application of Automata, CIAA 2022, held in Rouen, France in June/ July 2022. The 16 regular papers presented together with 3 invited lectures in this book were carefully reviewed and selected from 26 submissions. The topics of the papers covering various fields in the application, implementation, and theory of automata and related structures.
001447159 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed June 2, 2022).
001447159 650_0 $$aMachine theory$$vCongresses.
001447159 650_0 $$aRobotics$$vCongresses.
001447159 655_7 $$aConference papers and proceedings.$$2fast$$0(OCoLC)fst01423772
001447159 655_0 $$aElectronic books.
001447159 7001_ $$aCaron, Pascal,$$eeditor.
001447159 7001_ $$aMignot, Ludovic,$$eeditor.
001447159 830_0 $$aLecture notes in computer science ;$$v13266.$$x1611-3349
001447159 852__ $$bebk
001447159 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-031-07469-1$$zOnline Access$$91397441.1
001447159 909CO $$ooai:library.usi.edu:1447159$$pGLOBAL_SET
001447159 980__ $$aBIB
001447159 980__ $$aEBOOK
001447159 982__ $$aEbook
001447159 983__ $$aOnline
001447159 994__ $$a92$$bISE