TY  - GEN
N2  - This book constitutes the proceedings of the 22nd International Symposium on Fundamentals of Computation Theory, FCT 2019, held in Copenhagen, Denmark, in August 2019. The 21 full papers included in this volume were carefully reviewed and selected from 45 submissions. In addition, the book contains 3 invited talks in full-paper length. The papers were organized in topical sections named: formal methods, complexity, and algorithms.
DO  - 10.1007/978-3-030-25027-0
DO  - doi
AB  - This book constitutes the proceedings of the 22nd International Symposium on Fundamentals of Computation Theory, FCT 2019, held in Copenhagen, Denmark, in August 2019. The 21 full papers included in this volume were carefully reviewed and selected from 45 submissions. In addition, the book contains 3 invited talks in full-paper length. The papers were organized in topical sections named: formal methods, complexity, and algorithms.
T1  - Fundamentals of computation theory :22nd International Symposium, FCT 2019, Copenhagen, Demark, August 12-14, 2019, Proceedings /
AU  - Gąsieniec, Leszek,
AU  - Jansson, Jesper,
AU  - Levcopoulos, Christos,
VL  - 11651
CN  - QA75.5
ID  - 913438
KW  - Computer science
KW  - Computer science
SN  - 9783030250270
SN  - 303025027X
SN  - 3030250261
SN  - 9783030250263
SN  - 9783030250287
SN  - 3030250288
TI  - Fundamentals of computation theory :22nd International Symposium, FCT 2019, Copenhagen, Demark, August 12-14, 2019, Proceedings /
LK  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-25027-0
UR  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-25027-0
ER  -