LEADER 02550nam 22006255 450 001 9910483727603321 005 20230405230235.0 010 $a3-642-40164-3 024 7 $a10.1007/978-3-642-40164-0 035 $a(CKB)3710000000002667 035 $a(SSID)ssj0000962759 035 $a(PQKBManifestationID)11573544 035 $a(PQKBTitleCode)TC0000962759 035 $a(PQKBWorkID)10978840 035 $a(PQKB)10012546 035 $a(DE-He213)978-3-642-40164-0 035 $a(MiAaPQ)EBC3093266 035 $a(PPN)172429064 035 $a(EXLCZ)993710000000002667 100 $a20130722d2013 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aFundamentals of Computation Theory $e19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013, Proceedings /$fedited by Leszek G?sieniec, Frank Wolter 205 $a1st ed. 2013. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2013. 215 $a1 online resource (XII, 318 p. 45 illus.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v8070 300 $aInternational conference proceedings. 300 $aIncludes index. 311 $a3-642-40163-5 330 $aThis book constitutes the refereed proceedings of the 19th International Symposium on Fundamentals of Computation Theory, FCT 2013, held in Liverpool, UK, in August 2013. The 29 papers (26 full papers and 3 invited papers) were carefully reviewed and selected from 58 submissions. The papers cover the following topics: algorithms, formal methods, and emerging fields. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v8070 606 $aComputer science 606 $aComputer science?Mathematics 606 $aDiscrete mathematics 606 $aTheory of Computation 606 $aDiscrete Mathematics in Computer Science 615 0$aComputer science. 615 0$aComputer science?Mathematics. 615 0$aDiscrete mathematics. 615 14$aTheory of Computation. 615 24$aDiscrete Mathematics in Computer Science. 676 $a004 702 $aG?sieniec$b Leszek$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aWolter$b Frank$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483727603321 996 $aFundamentals of Computation Theory$92557870 997 $aUNINA