02550nam 22006255 450 991048372760332120230405230235.03-642-40164-310.1007/978-3-642-40164-0(CKB)3710000000002667(SSID)ssj0000962759(PQKBManifestationID)11573544(PQKBTitleCode)TC0000962759(PQKBWorkID)10978840(PQKB)10012546(DE-He213)978-3-642-40164-0(MiAaPQ)EBC3093266(PPN)172429064(EXLCZ)99371000000000266720130722d2013 u| 0engurnn|008mamaatxtccrFundamentals of Computation Theory 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013, Proceedings /edited by Leszek Gąsieniec, Frank Wolter1st ed. 2013.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2013.1 online resource (XII, 318 p. 45 illus.) Theoretical Computer Science and General Issues,2512-2029 ;8070International conference proceedings.Includes index.3-642-40163-5 This 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.Theoretical Computer Science and General Issues,2512-2029 ;8070Computer scienceComputer science—MathematicsDiscrete mathematicsTheory of ComputationDiscrete Mathematics in Computer ScienceComputer science.Computer science—Mathematics.Discrete mathematics.Theory of Computation.Discrete Mathematics in Computer Science.004Gąsieniec Leszekedthttp://id.loc.gov/vocabulary/relators/edtWolter Frankedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910483727603321Fundamentals of Computation Theory2557870UNINA