LEADER 04163nam 22007215 450 001 996465824503316 005 20230222201930.0 010 $a3-319-41114-4 024 7 $a10.1007/978-3-319-41114-9 035 $a(CKB)3710000000748016 035 $a(DE-He213)978-3-319-41114-9 035 $a(MiAaPQ)EBC6281743 035 $a(MiAaPQ)EBC5596320 035 $a(Au-PeEL)EBL5596320 035 $a(OCoLC)1076254223 035 $a(PPN)194514897 035 $a(EXLCZ)993710000000748016 100 $a20160627d2016 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aDescriptional Complexity of Formal Systems$b[electronic resource] $e18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings /$fedited by Cezar Câmpeanu, Florin Manea, Jeffrey Shallit 205 $a1st ed. 2016. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2016. 215 $a1 online resource (XVI, 217 p. 50 illus.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v9777 311 $a3-319-41113-6 327 $aCompletely Reachable Automata -- Words Avoiding Patterns, Enumeration Problems and the Chomsky Hierarchy -- Heapability, interactive particle systems, partial orders: results and open problems -- Self-Verifying Finite Automata and Descriptional Complexity -- On the State Complexity of Partial Derivative Automata for Regular Expressions with Intersection -- Unrestricted State Complexity of Binary Operations on Regular Languages -- On the State Complexity of the Shu?e of Regular Languages -- MSO-de?nable properties of Muller context-free languages are decidable -- Contextual Array Grammars with Matrix and Regular Control -- Descriptional Complexity of Graph-controlled Insertion-deletion Systems -- Operations on Weakly Recognizing Morphisms -- Descriptional Complexity of Bounded Regular Languages -- The Complexity of Languages Resulting from the Concatenation Operation -- Minimal and Reduced Reversible Automata. 330 $ahis book constitutes the refereed proceedings of the 18th International Conference on Descriptional Complexity of Formal Systems, DCFS 2016, held in Bucharest, Romania, in July 2016. The 13 full papers presented together with 4 invited talks were carefully reviewed and selected from 21 submissions. Descriptional Complexity is a ?eld in Computer Science that deals with the size of all kind of objects that occur in computational models, such as Turing Machines, ?nte automata, grammars, splicing systems and others. The topics of this conference are related to all aspects of descriptional complexity. . 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v9777 606 $aMachine theory 606 $aComputer science 606 $aAlgorithms 606 $aComputer science?Mathematics 606 $aDiscrete mathematics 606 $aFormal Languages and Automata Theory 606 $aComputer Science Logic and Foundations of Programming 606 $aTheory of Computation 606 $aAlgorithms 606 $aDiscrete Mathematics in Computer Science 615 0$aMachine theory. 615 0$aComputer science. 615 0$aAlgorithms. 615 0$aComputer science?Mathematics. 615 0$aDiscrete mathematics. 615 14$aFormal Languages and Automata Theory. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aTheory of Computation. 615 24$aAlgorithms. 615 24$aDiscrete Mathematics in Computer Science. 676 $a004.0151 702 $aCâmpeanu$b Cezar$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aManea$b Florin$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aShallit$b Jeffrey$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996465824503316 996 $aDescriptional Complexity of Formal Systems$91904989 997 $aUNISA LEADER 02173nam0 2200445 i 450 001 RAV0202613 005 20231121125638.0 100 $a20030917d1969 ||||0itac50 ba 101 | $aita 102 $ait 181 1$6z01$ai $bxxxe 182 1$6z01$an 200 1 $a˜L'œinizio della retta guida$fAl-Ghazali$gprima traduzione italiana di Giuseppe Celentano 210 $aNapoli$cLa nuova cultura$d1969 215 $a132 p.$d21 cm. 225 | $a˜Il œmondo dello spirito$v4 410 0$1001CFI0062555$12001 $a˜Il œmondo dello spirito$v4 606 $aReligioni$xIslam$2FIR$3RMLC406003$9I 676 $a297.4$9$v21 700 1$a˜al-œ?az?l?$b, Ab? H?mid Mu?ammad$3CFIV050995$4070$0642254 702 1$aCelentano$b, Giuseppe$3CFIV050996$4730 790 0$a˜al-œGhazâlî$3CFIV124335$zal-?az?l?, Ab? H?mid Mu?ammad 790 0$a˜al-œGazz?l?$3CFIV126754$zal-?az?l?, Ab? H?mid Mu?ammad 790 1$a˜al-œ?azzali$b, ab? H?mid Mu?ammad ibn Mu?ammad al ??s?$3CFIV129566$zal-?az?l?, Ab? H?mid Mu?ammad 790 0$a˜al-œGhazz?l?$3CFIV154173$zal-?az?l?, Ab? H?mid Mu?ammad 790 0$aAlgazel$3MODV331073$zal-?az?l?, Ab? H?mid Mu?ammad 790 1$a˜el-œGhazali$b, Abou Hamed$3PUVV253076$zal-?az?l?, Ab? H?mid Mu?ammad 790 0$aal-Gazali$3RMBV120855$zal-?az?l?, Ab? H?mid Mu?ammad 790 0$aal-Ghazali$3RMBV124097$zal-?az?l?, Ab? H?mid Mu?ammad 790 1$a?azz?li Tusi$b, Zinoddin abu H?med Mohammad$3RMSV084665$zal-?az?l?, Ab? H?mid Mu?ammad 801 3$aIT$bIT-01$c20030917 850 $aIT-RM0289 $aIT-RM0418 $aIT-FR0017 899 $aBiblioteca Statale A. Baldini$bRM0289 899 $aBIBLIOTECA ACCADEMIA NAZ. DEI LINCEI E CORSINIANA$bRM0418 899 $aBiblioteca umanistica Giorgio Aprea$bFR0017 $eN 912 $aRAV0202613 950 0$aBiblioteca umanistica Giorgio Aprea$d 52MAG 6/1200$e 52MAG0000005985 VMB RS $fA $h20210203$i20210203 977 $a 04$a 10$a 52 996 $aInizio della retta guida$93615888 997 $aUNICAS LEADER 00811nam0 22002291i 450 001 UON00135308 005 20231205102817.976 100 $a20020107d1975 |0itac50 ba 101 $atam 102 $aIN 105 $a|||| 1|||| 200 1 $aPencati$fKora Cuntaram 210 $a[s. l.]$c[s. n.]$d1975 215 $aXI, 140 p.$d20 cm 686 $aSI VI LCX$cSUBCONT. INDIANO - LETTERATURA TAMIL - PERIODO MODERNO - TESTI$2A 700 1$aCUNTARAM$bKora$3UONV082370$00 801 $aIT$bSOL$c20240220$gRICA 899 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$2UONSI 912 $aUON00135308 950 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$dSI SI VI LCX 333 $eSI SA 60700 5 333 996 $aPencati$91314667 997 $aUNIOR