• Media type: E-Book
  • Title: Topics in Theoretical Computer Science : Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings
  • Contributor: Mousavi, Mohammad Reza [Hrsg.]; Sgall, Jiří [Hrsg.]
  • imprint: Cham: Springer, 2017
  • Published in: Lecture notes in computer science ; 10608
    Bücher
    Computer Science
  • Extent: Online-Ressource (XVII, 125 p. 25 illus, online resource)
  • Language: English
  • DOI: 10.1007/978-3-319-68953-1
  • ISBN: 9783319689531
  • Identifier:
  • Keywords: Programming languages (Electronic computers) ; Computers ; Computer logic ; Mathematical logic ; Computer Science ; Computer science ; Computer programming ; Algorithms ; Machine theory. ; Compilers (Computer programs).
  • Origination:
  • Footnote:
  • Description: 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