Overview
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 10608)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Included in the following conference series:
Conference proceedings info: TTCS 2017.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (10 papers)
-
Invited Talk
-
Algorithms and Complexity
-
Logic, Semantics, and Programming Theory
Other volumes
-
Topics in Theoretical Computer Science
Keywords
About this book
This book constitutes the refereed proceedings of the Second IFIP WG 1.8 International Conference on Topics in Theoretical Computer Science, TTCS 2017, held in Tehran, Iran, in September 2017.
The 8 papers presented in this volume were carefully reviewed and selected from 20 submissions. They were organized in topical sections named: algorithms and complexity; and logic, semantics, and programming theory.
Editors and Affiliations
Bibliographic Information
Book Title: Topics in Theoretical Computer Science
Book Subtitle: Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings
Editors: Mohammad Reza Mousavi, Jiří Sgall
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-68953-1
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: IFIP International Federation for Information Processing 2017
Softcover ISBN: 978-3-319-68952-4Published: 14 October 2017
eBook ISBN: 978-3-319-68953-1Published: 12 October 2017
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XIX, 125
Number of Illustrations: 25 b/w illustrations
Topics: Computation by Abstract Devices, Algorithm Analysis and Problem Complexity, Mathematical Logic and Formal Languages, Logics and Meanings of Programs, Programming Techniques, Programming Languages, Compilers, Interpreters