TY - BOOK AU - Luís S. Barbosa, Mohammad Ali Abam. TI - Topics in Theoretical Computer Science : Third IFIP WG 1.8 International Conference, TTCS 2020, Tehran, Iran, July 1-2, 2020, Proceedings SN - 9783030578527 PY - 2020/// CY - Cham PB - Springer KW - Computers. Algorithms. Numerical analysis. Computer science-Mathematics. Mathematical logic. Computation by Abstract Devices. Algorithm Analysis and Problem Complexity. Numeric Computing. Discrete Mathematics in Computer Science. Mathematical Logic and Formal Languages UR - https://doi.org/10.1007/978-3-030-57852-7 ER -