Skip to main content
SpringerLink
Log in

Theoretical Aspects of Computing – ICTAC 2017

14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings

  • Conference proceedings
  • © 2017

Overview

Editors:
  1. Dang Van Hung

    1. Vietnam National University, Hanoi, Vietnam

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Deepak Kapur

    1. University of New Mexico, Albuquerque, USA

    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 10580)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: ICTAC 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 (17 papers)

  1. Front Matter

    Pages I-XX
    Download chapter PDF

  2. Logics

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. A Formal Proof Generator from Semi-formal Proof Documents

      • Adrián Riesco, Kazuhiro Ogata
      Pages 3-12

    3. Institutions for Behavioural Dynamic Logic with Binders

      • Rolf Hennicker, Alexandre Madeira
      Pages 13-31

    4. The Delay Monad and Restriction Categories

      • Tarmo Uustalu, Niccolò Veltri
      Pages 32-50

    5. Logical Characterisation of Parameterised Bisimulations

      • Divyanshu Bagga, S. Arun Kumar
      Pages 51-69

    6. A Probabilistic Semantics for the Pure \(\lambda \)-Calculus

      • Alessandra Di Pierro
      Pages 70-76

  3. Software Components and Concurrency

    1. Front Matter

      Pages 77-77
      Download chapter PDF

    2. Towards a Calculus for Dynamic Architectures

      • Diego Marmsoler
      Pages 79-99

    3. Class-Diagrams for Abstract Data Types

      • Thai Son Hoang, Colin Snook, Dana Dghaym, Michael Butler
      Pages 100-117

    4. Value-Based or Conflict-Based? Opacity Definitions for STMs

      • Jürgen König, Heike Wehrheim
      Pages 118-135

    5. Smaller-State Implementations of 2D FSSP Algorithms

      • Hiroshi Umeo, Keisuke Kubo, Akira Nomura
      Pages 136-152

  5. SMT Solvers and Algorithms

    1. Front Matter

      Pages 211-211
      Download chapter PDF

    2. Constructing Cycles in the Simplex Method for DPLL(T)

      • Bertram Felgenhauer, Aart Middeldorp
      Pages 213-228

    3. Tableaux with Partial Caching for Hybrid PDL with Satisfaction Statements

      • Agathoklis Kritsimallis
      Pages 229-247

    4. PTrie: Data Structure for Compressing and Storing Sets via Prefix Sharing

      • Peter Gjøl Jensen, Kim Guldstrand Larsen, Jiří Srba
      Pages 248-265
Back to top

Other volumes

  1. Theoretical Aspects of Computing – ICTAC 2017

Keywords

About this book

This book constitutes the refereed proceedings of the 14th International Colloquium on Theoretical Aspects of Computing, ICTAC 2017, held in Hanoi, Vietnam, in October 2017.

The 17 revised full papers presented together with three invited talks were carefully reviewed and selected from 40 submissions. The papers are organized in topical sections on logics; software components and concurrency; automata; SMT solvers and algorithms; and security.

Editors and Affiliations

  • Vietnam National University, Hanoi, Vietnam

    Dang Van Hung

  • University of New Mexico, Albuquerque, USA

    Deepak Kapur

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation