001437637 000__ 03943cam\a2200625\i\4500
001437637 001__ 1437637
001437637 003__ OCoLC
001437637 005__ 20230309004225.0
001437637 006__ m\\\\\o\\d\\\\\\\\
001437637 007__ cr\un\nnnunnun
001437637 008__ 210627s2021\\\\sz\a\\\\o\\\\\101\0\eng\d
001437637 020__ $$a9783030791216$$q(electronic bk.)
001437637 020__ $$a3030791211$$q(electronic bk.)
001437637 020__ $$z9783030791209
001437637 020__ $$z3030791203
001437637 0247_ $$a10.1007/978-3-030-79121-6$$2doi
001437637 035__ $$aSP(OCoLC)1257705929
001437637 040__ $$aYDX$$beng$$erda$$epn$$cYDX$$dGW5XE$$dOCLCO$$dEBLCP$$dOCLCF$$dOCLCO$$dOCLCQ$$dCOM$$dOCLCO$$dOCLCQ
001437637 049__ $$aISEA
001437637 050_4 $$aQA267$$b.C53 2021
001437637 08204 $$a006.3$$223
001437637 1112_ $$aCIAA (Conference)$$n(25th :$$d2021 :$$cOnline)
001437637 24510 $$aImplementation and application of automata :$$b25th international conference, CIAA 2021, virtual event, July 19-22, 2021 : proceedings /$$cSebastian Maneth (ed.).
001437637 24630 $$aCIAA 2021
001437637 264_1 $$aCham :$$bSpringer,$$c[2021]
001437637 264_4 $$c©2021
001437637 300__ $$a1 online resource :$$billustrations (some color)
001437637 336__ $$atext$$btxt$$2rdacontent
001437637 337__ $$acomputer$$bc$$2rdamedia
001437637 338__ $$aonline resource$$bcr$$2rdacarrier
001437637 4901_ $$aLecture notes in computer science ;$$v12803
001437637 4901_ $$aLNCS sublibrary : SL1 - Theoretical computer science and general issues
001437637 500__ $$aInternational conference proceedings.
001437637 500__ $$aIncludes author index.
001437637 5050_ $$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.
001437637 506__ $$aAccess limited to authorized users.
001437637 520__ $$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.
001437637 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed July 1, 2021).
001437637 650_0 $$aMachine theory$$vCongresses.
001437637 650_0 $$aRobotics$$vCongresses.
001437637 650_6 $$aThéorie des automates$$vCongrès.
001437637 650_6 $$aRobotique$$vCongrès.
001437637 655_7 $$aConference papers and proceedings.$$2fast$$0(OCoLC)fst01423772
001437637 655_7 $$aConference papers and proceedings.$$2lcgft
001437637 655_7 $$aActes de congrès.$$2rvmgf
001437637 655_0 $$aElectronic books.
001437637 7001_ $$aManeth, Sebastian,$$eeditor.
001437637 830_0 $$aLecture notes in computer science ;$$v12803.
001437637 830_0 $$aLNCS sublibrary.$$nSL 1,$$pTheoretical computer science and general issues.
001437637 852__ $$bebk
001437637 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-030-79121-6$$zOnline Access$$91397441.1
001437637 909CO $$ooai:library.usi.edu:1437637$$pGLOBAL_SET
001437637 980__ $$aBIB
001437637 980__ $$aEBOOK
001437637 982__ $$aEbook
001437637 983__ $$aOnline
001437637 994__ $$a92$$bISE