Topics in Theoretical Computer Science Third IFIP WG 1.8 International Conference, TTCS 2020, Tehran, Iran, July 1-2, 2020, Proceedings

This book constitutes the refereed proceedings of the Third IFIP WG 1.8 International Conference on Topics in Theoretical Computer Science, TTCS 2020, held in Tehran, Iran, in July 2020. The conference was held virtually due to the COVID-19 pandemic.The 8 papers presented in this volume were careful...

Full description

Saved in:
Bibliographic Details
Main Authors Barbosa, Luis S, Abam, Mohammad Ali
Format eBook Conference Proceeding Book
LanguageEnglish
Published Netherlands Springer Nature 2020
Springer International Publishing
Edition1st Edition 2020
SeriesLecture Notes in Computer Science
Subjects
Algorithm Analysis and Problem Complexity
Computation by Abstract Devices
Computer programming, programs, data
Computer Science
Discrete Mathematics in Computer Science
Mathematical Logic and Formal Languages
Numeric Computing
Online AccessGet full text

Cover

More Information
Summary:This book constitutes the refereed proceedings of the Third IFIP WG 1.8 International Conference on Topics in Theoretical Computer Science, TTCS 2020, held in Tehran, Iran, in July 2020. The conference was held virtually due to the COVID-19 pandemic.The 8 papers presented in this volume were carefully reviewed and selected from 24 submissions. They focus on novel and high-quality research in all areas of theoretical computer science, such as algorithms and complexity; logic, semantics, and programming theory; and more.
ISBN:9783030578527
3030578526
9783030578510
3030578518
ISSN:0302-9743
1611-3349
DOI:10.1007/978-3-030-57852-7