LEADER 03504nam 22006015 450 001 996464502503316 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$b[electronic resource] $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 $a996464502503316 996 $aImplementation and Application of Automata$92860279 997 $aUNISA LEADER 01162nam a2200277 i 4500 001 991003593649707536 005 20020509124749.0 008 980622s1963 ||| ||| | eng 035 $ab11184577-39ule_inst 035 $aPARLA184747$9ExL 040 $aDip.to Scienze dell'Antichità$bita 041 0 $aenglat 100 1 $aCicero, Marcus Tullius$082411 245 10$aM. Tulli Ciceronis De divinatione :$blibri duo /$cedited by Arthur Stanley Pease 260 $aDarmstadt :$bWissenschaftliche Buchgesellschaft,$c1963 300 $a656 p. ;$c23 cm. 500 $aTesto latino. Commento in lingua inglese. 600 14$aCicerone, Marco Tullio$xOpere filosofiche 700 1 $aPease, Arthur Stanley 907 $a.b11184577$b02-04-14$c28-06-02 912 $a991003593649707536 945 $aLE007 870.1 Cicero 1963-02$g2$i2015000018878$lle007$o-$pE0.00$q-$rl$s- $t0$u1$v0$w1$x0$y.i11332542$z28-06-02 945 $aLE007 870.1 Cicero 1963-02$g1$i2007000186237$lle007$o-$pE0.00$q-$rl$s- $t0$u1$v0$w1$x0$y.i15145116$z22-06-10 996 $aM. Tulli Ciceronis De Divinatione$986457 997 $aUNISALENTO 998 $ale007$b01-01-98$cm$da $e-$feng$gxx $h0$i1 LEADER 01613nas 2200457-a 450 001 996213689203316 005 20240413024405.0 035 $a(CKB)111021046612300 035 $a(CONSER)---00253282- 035 $a(EXLCZ)99111021046612300 100 $a20000818auuuu9999 --- - 101 0 $aeng 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aEmerging Europe monitor$iSouth East Europe $eEEM : Business Monitor's monthly report on macroeconomic performance, outlook and political risk 210 $aLondon, UK $cBusiness Monitor International 215 $a1 online resource 300 $aOther title information varies. 311 08$aPrint version: Emerging Europe monitor. 1469-5286 (DLC) 00253282 (OCoLC)44815609 517 3 $aSouth East Europe 517 3 $aEEM 517 1 $aSEEM 531 $aSOUTH EAST EUROPE EMERGING EUROPE MONITOR 531 $aSOUTH EAST EUROPEAN MONITOR 531 $aEMERGING EUROPE MONITOR 531 1 $aEmerg. Eur. monit, South East Eur. 607 $aBalkan Peninsula$vPeriodicals 607 $aEurope, Eastern$vPeriodicals 607 $aEurope, Southern$vPeriodicals 607 $aBalkan Peninsula$2fast$1https://id.oclc.org/worldcat/entity/E39PBJhRJcwDhTXyG8xgjt9JjC 607 $aEastern Europe$2fast 607 $aSouthern Europe$2fast 608 $aPeriodicals.$2fast 676 $a330.94705 712 02$aBusiness Monitor International. 906 $aJOURNAL 912 $a996213689203316 920 $aexl_impl conversion 996 $aEmerging Europe monitor$91887322 997 $aUNISA