Fundamentals of Computation Theory 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013, Proceedings

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 th...

Full description

Bibliographic Details
Other Authors: Gąsieniec, Leszek (Editor), Wolter, Frank (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 2013, 2013
Edition:1st ed. 2013
Series:Theoretical Computer Science and General Issues
Subjects:
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
LEADER 01577nmm a2200313 u 4500
001 EB000404836
003 EBX01000000000000000257908
005 00000000000000.0
007 cr|||||||||||||||||||||
008 130802 ||| eng
020 |a 9783642401640 
100 1 |a Gąsieniec, Leszek  |e [editor] 
245 0 0 |a Fundamentals of Computation Theory  |h Elektronische Ressource  |b 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013, Proceedings  |c edited by Leszek Gąsieniec, Frank Wolter 
250 |a 1st ed. 2013 
260 |a Berlin, Heidelberg  |b Springer Berlin Heidelberg  |c 2013, 2013 
300 |a XII, 318 p. 45 illus  |b online resource 
653 |a Computer science 
653 |a Computer science / Mathematics 
653 |a Discrete Mathematics in Computer Science 
653 |a Discrete mathematics 
653 |a Theory of Computation 
700 1 |a Wolter, Frank  |e [editor] 
041 0 7 |a eng  |2 ISO 639-2 
989 |b Springer  |a Springer eBooks 2005- 
490 0 |a Theoretical Computer Science and General Issues 
028 5 0 |a 10.1007/978-3-642-40164-0 
856 4 0 |u https://doi.org/10.1007/978-3-642-40164-0?nosfx=y  |x Verlag  |3 Volltext 
082 0 |a 004.0151 
520 |a 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