Editors:
- 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)
Conference series link(s): TTCS: International Conference on Topics in Theoretical Computer Science
Conference proceedings info: TTCS 2017.
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (10 papers)
-
Front Matter
-
Invited Talk
-
Front Matter
-
-
Algorithms and Complexity
-
Front Matter
-
-
Logic, Semantics, and Programming Theory
-
Front Matter
-
-
Back Matter
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
-
University of Leicester, Leicester, United Kingdom
Mohammad Reza Mousavi
-
Charles University, Prague, Czech Republic
Jiří Sgall
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