Topics in Theoretical Computer Science Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings

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 o...

Full description

Saved in:
Bibliographic Details
Main Authors Mousavi, Mohammad Reza, Sgall, Jiri
Format eBook Conference Proceeding Book
LanguageEnglish
Published Netherlands Springer Nature 2017
Springer International Publishing
Springer
Edition1st Edition 2017
SeriesLecture Notes in Computer Science
Subjects
Algorithm Analysis and Problem Complexity
Computation by Abstract Devices
Computer programming, programs, data
Computer Science
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Programming Languages, Compilers, Interpreters
Programming Techniques
Online AccessGet full text
ISBN9783319689531
3319689533
3319689525
9783319689524
ISSN0302-9743
1611-3349
DOI10.1007/978-3-319-68953-1

Cover

More Information
Summary: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.
ISBN:9783319689531
3319689533
3319689525
9783319689524
ISSN:0302-9743
1611-3349
DOI:10.1007/978-3-319-68953-1