Skip to main content
SpringerLink
Log in

Topics in Theoretical Computer Science

Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings

  • Conference proceedings
  • © 2017

Overview

Editors:
  1. Mohammad Reza Mousavi

    1. University of Leicester, Leicester, United Kingdom

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Jiří Sgall

    1. Charles University, Prague, Czech Republic

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (10 papers)

  1. Front Matter

    Pages I-XIX
    Download chapter PDF

  2. Invited Talk

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Design and Validation of Cloud Storage Systems Using Formal Methods

      • Peter Csaba Ölveczky
      Pages 3-8

  3. Algorithms and Complexity

    1. Front Matter

      Pages 9-9
      Download chapter PDF

    2. A Characterization of Horoidal Digraphs

      • Ardeshir Dolati
      Pages 11-25

    3. Gomory Hu Tree and Pendant Pairs of a Symmetric Submodular System

      • Saeid Hanifehnezhad, Ardeshir Dolati
      Pages 26-33

    4. Inverse Multi-objective Shortest Path Problem Under the Bottleneck Type Weighted Hamming Distance

      • Mobarakeh Karimi, Massoud Aman, Ardeshir Dolati
      Pages 34-40

    5. Locality-Based Relaxation: An Efficient Method for GPU-Based Computation of Shortest Paths

      • Mohsen Safari, Ali Ebnenasir
      Pages 41-56

  4. Logic, Semantics, and Programming Theory

    1. Front Matter

      Pages 57-57
      Download chapter PDF

    2. Exposing Latent Mutual Exclusion by Work Automata

      • Kasper Dokter, Farhad Arbab
      Pages 59-73

    3. A Decidable Subtyping Logic for Intersection and Union Types

      • Luigi Liquori, Claude Stolze
      Pages 74-90

    4. Container Combinatorics: Monads and Lax Monoidal Functors

      • Tarmo Uustalu
      Pages 91-105

    5. Unification of Hypergraph \(\lambda \)-Terms

      • Alimujiang Yasen, Kazunori Ueda
      Pages 106-124

  5. Erratum to: Topics in Theoretical Computer Science

    • Mohammad Reza Mousavi, Jiří Sgall
    Pages E1-E1

  6. Back Matter

    Pages 125-125
    Download chapter PDF
Back to top

Other volumes

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

  • University of Leicester, Leicester, United Kingdom

    Mohammad Reza Mousavi

  • Charles University, Prague, Czech Republic

    Jiří Sgall

Bibliographic Information

Publish with us

Policies and ethics

Societies and partnerships

Back to top

Search

Navigation